代码之家 › 专栏 › 技术社区 › mljli

emplace_back导致静态constexr成员上的链接错误

one-definition-rule constexpr c++17 language-lawyer c++

mljli · 技术社区 · 7 年前

为什么? emplace_back 引用需要定义的成员?两者有什么区别 emplace_back(integer literal) 和 emplace_back(static constexpr integer member) ?

如果我切换到C++ 17,它就编译得很好。我发现,在C++ 17中,静态COSTEXPR数据成员是隐式的。 inlined . 这是否意味着编译器隐式地为它们创建定义?

示例代码:

class base {
    int n;
public:
    base(int n):n(n) {}
};

struct base_trait {
    static constexpr int n = 1;
};

int main(void) {
    vector<base> v;
    v.emplace_back(1);  // ok
    v.emplace_back(base_trait::n);  // link error with -std=c++14, ok with -std=c++17
    return 0;
}

1 回复 | 直到 7 年前

songyuanyao 7 年前

如你所说, emplace_back 引用参数,因此传递 base_trait::n 使它成为 odr-used .

如果一个对象的值是读(除非它是编译时常量)或写的,它的地址是取的,或者它的引用是绑定到它的,那么就使用ODR;

基特征::n 这里是必需的。但是由于C++ 17的行为改变了,因为 constexpr static data member 不再需要类外定义。

如果一个警察 non-inline (since C++17) 静态数据成员 or a constexpr static data member (since C++11) 如果使用了ODR,则仍需要命名空间范围中的定义,但它不能具有初始值设定项。 This definition is deprecated for constexpr data members (since C++17).

静态数据成员可以内联声明。可以在类定义中定义内联静态数据成员,并且可以指定初始值设定项。它不需要类外定义。(因为C++ 17)

推荐文章

AstralHex · 矩阵乘法代码工作不正常

10 月前

Baba Dan Constantin · SSE4.1在矩阵4x4乘法上比SSE3慢?

10 月前

Giogre · 为包含许多数值字段的简单“struct”重载比较运算符

10 月前

einpoklum · 定义一个并不真正提供now()函数的std::chrono Clock是“合法的”吗?

10 月前

Fishie · 作为类成员的智能指针是否仍然自动释放?[关闭]

10 月前

Die4Toast · 递归调用成员箭头运算符->

11 月前

Angle.Bracket · 如何用C++将UTF-8文件名写入MS Windows控制台?

11 月前

Anka HanÄ±m · 关于结构和动态数组地址的问题

11 月前

Adam Barnes · 我如何定义一个基于constexpr函数返回值进行限制的概念?

11 月前

user2138149 · 为什么我不能获取包含多个元素的结构体中某些元素的地址?[副本]

11 月前