C++標準：名前空間スコープのconstexpr変数に内部リンケージがありますか？

Question

は、我々は次のことを含むヘッダfoo.hを持って想像：

#ifndef FOO_H_ 
#define FOO_H_ 

namespace foo { 
constexpr std::string_view kSomeString = "blah"; 
} 

#endif // FOO_H_ 

はfoo.hを含む任意の翻訳単位で内部リンケージを持つことが保証foo::kSomeStringですか？これはC++ 11とC++ 17の間で異なりますか？ドラフトで

標準[basic.link]/3は、不揮発性const修飾型の非インライン可変[...]それの名前である場合、名前空間の範囲を有する名前が内部結合を有する

言いますどちらも明示的にextern宣言もなく、以前に外部リンケージを持つように宣言[...]

しかし、私は知っていない場合は、「const修飾」としてconstexprカウント。スタンダードはそうだと言いますか？

これは内部リンケージが保証されていると仮定すると、この使用法でODRに問題はないようですね。 （this answerとは対照的に）

Answer 1

はい、オブジェクト宣言のconstexprは、オブジェクトがconstであることを意味します。 [dcl.constexpr]/9を参照してください。はい、つまり、あなたの例のkSomeStringに内部リンケージがあることを意味します。

私たちがここで話しているODR違反の種は、kSomeStringの定義ではなく、それを使用しようとする他の定義です。そして内部結合のために正確に問題があります。検討：

void f(const std::string_view &); 

inline void g() { 
    f(foo::kSomeString); 
} 

複数の翻訳単位に含まれる場合、これはODR違反で、各翻訳単位でgの定義が異なるオブジェクトを参照し、基本的にするからです。