[英]How to declare constexpr extern?
是否可以声明变量extern constexpr
并将其定义在另一个文件中?
我试过了,但是编译器给出了错误:
constexpr
变量'i
'的声明不是定义
在.h中:
extern constexpr int i;
在.cpp中:
constexpr int i = 10;
不,您不能做,这是标准所说的(第7.1.5节):
1 constexpr说明符应仅应用于变量或变量模板的定义,函数或函数模板的声明或文字类型的静态数据成员的声明(3.9)。 如果函数,函数模板或变量模板的任何声明都有constexpr说明符,则其所有声明都应包含constexpr说明符。 [注意:就constexpr说明符而言,显式专门化可能与模板声明不同。 函数参数不能声明为constexpr。 —尾注]
标准给出的一些例子:
constexpr void square(int &x); // OK: declaration
constexpr int bufsz = 1024; // OK: definition
constexpr struct pixel { // error: pixel is a type
int x;
int y;
constexpr pixel(int); // OK: declaration
};
extern constexpr int memsz; // error: not a definition
C ++ 17 inline
变量
强大的C ++ 17功能使我们能够:
constexpr
main.cpp
#include <cassert>
#include "notmain.hpp"
int main() {
// Both files see the same memory address.
assert(¬main_i == notmain_func());
assert(notmain_i == 42);
}
notmain.hpp
#ifndef NOTMAIN_HPP
#define NOTMAIN_HPP
inline constexpr int notmain_i = 42;
const int* notmain_func();
#endif
notmain.cpp
#include "notmain.hpp"
const int* notmain_func() {
return ¬main_i;
}
编译并运行:
g++ -c -o notmain.o -std=c++17 -Wall -Wextra -pedantic notmain.cpp
g++ -c -o main.o -std=c++17 -Wall -Wextra -pedantic main.cpp
g++ -o main -std=c++17 -Wall -Wextra -pedantic main.o notmain.o
./main
GitHub上游 。
C ++标准保证地址相同。 C ++ 17 N4659标准草案 10.1.6“内联说明符”:
6具有外部链接的内联函数或变量在所有翻译单元中应具有相同的地址。
cppreference https://zh.cppreference.com/w/cpp/language/inline解释说,如果未指定static
,则它具有外部链接。
另请参阅: 内联变量如何工作?
已在GCC 7.4.0,Ubuntu 18.04中测试。
否。Externconstexpr没有任何意义。 请阅读http://en.cppreference.com/w/cpp/language/constexpr
即位“必须立即构造或为其赋值”。
我同意上面的“ swang”,但是有一个结果。 考虑:
ExternHeader.hpp
extern int e; // Must be extern and defined in .cpp otherwise it is a duplicate symbol.
ExternHeader.cpp
#include "ExternHeader.hpp"
int e = 0;
ConstexprHeader.hpp
int constexpr c = 0; // Must be defined in header since constexpr must be initialized.
Include1.hpp
void print1();
Include1.cpp
#include "Include1.hpp"
#include "ExternHeader.hpp"
#include "ConstexprHeader.hpp"
#include <iostream>
void print1() {
std::cout << "1: extern = " << &e << ", constexpr = " << &c << "\n";
}
Include2.hpp
void print2();
Include2.cpp
#include "Include2.hpp"
#include "ExternHeader.hpp"
#include "ConstexprHeader.hpp"
#include <iostream>
void print2() {
std::cout << "2: extern = " << &e << ", constexpr = " << &c << "\n";
}
main.cpp
#include <iostream>
#include "Include1.hpp"
#include "Include2.hpp"
int main(int argc, const char * argv[]) {
print1();
print2();
return 0;
}
哪些打印:
1: extern = 0x1000020a8, constexpr = 0x100001ed0
2: extern = 0x1000020a8, constexpr = 0x100001ed4
即constexpr
分配两次,而extern
分配一次。 这对我来说是违反直觉的,因为我“期望” constexpr
比extern
更优化。
编辑:就分配而言, const
和constexpr
具有相同的行为,因此,从该角度来看,行为是预期的。 但是,正如我所说,当我遇到constexpr
的行为时,我感到很惊讶。
是的, 有点 ...
//===================================================================
// afile.h
#ifndef AFILE
#define AFILE
#include <cstddef>
#include <iostream>
enum class IDs {
id1,
id2,
id3,
END
};
// This is the extern declaration of a **constexpr**, use simply **const**
extern const int ids[std::size_t(IDs::END)];
// These functions will demonstrate its usage
template<int id> void Foo() { std::cout << "I am " << id << std::endl; }
extern void Bar();
#endif // AFILE
//===================================================================
// afile.cpp
#include "afile.h"
// Here we define the consexpr.
// It is **constexpr** in this unit and **const** in all other units
constexpr int ids[std::size_t(IDs::END)] = {
int(IDs::id1),
int(IDs::id2),
int(IDs::id3)
};
// The Bar function demonstrates that ids is really constexpr
void Bar() {
Foo<ids[0] >();
Foo<ids[1] + 123>();
Foo<ids[2] / 2 >();
}
//===================================================================
// bfile.h
#ifndef BFILE
#define BFILE
// These functions will demonstrate usage of constexpr ids in an extern unit
extern void Baz();
extern void Qux();
#endif // BFILE
//===================================================================
// bfile.cpp
#include "afile.h"
// Baz demonstrates that ids is (or works as) an extern field
void Baz() {
for (int i: ids) std::cout << i << ", ";
std::cout << std::endl;
}
// Qux demonstrates that extern ids cannot work as constexpr, though
void Qux() {
#if 0 // changing me to non-0 gives you a compile-time error...
Foo<ids[0]>();
#endif
std::cout << "Qux: 'I don't see ids as consexpr, indeed.'"
<< std::endl;
}
//===================================================================
// main.cpp
#include "afile.h"
#include "bfile.h"
int main(int , char **)
{
Bar();
Baz();
Qux();
return 0;
}
您可能想要的是extern和constexpr初始化,例如:
// in header
extern const int g_n;
// in cpp
constexpr int g_n = 2;
尽管仅通过一致性模式在Visual Studio 2017中提供了此支持:
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.