C++の多重定義について

Question

C++で以下のプログラムがエラーにならない理由を教えていただきたいです。
main.cppとsub.cppの両方でconstants.hをincludeしています。
constants.hでは定数を定義しています。これを複数のcppファイルで呼び出すと、多重定義にならないのでしょうか。
ヘッダーファイルに関数を定義し、複数ファイルでincludeするとリンカーエラーが発生しますが、今回は起こらなかったので疑問に思いました。

//main.cpp
#include <iostream>
#include "constants.h"

int main(){
    std::cout << "The value of pi is " << constans::pi;
    return 0;
}

//sub.cpp
#include "constants.h"

int subfunc(){
    //function body
}

//constants.h
namespace constants{
    constexpr double pi = 3.14;
}

Answer 1

定数は内部リンケージ（って言うんだっけ？）なので大丈夫です．

Comments

[fana]

試しに，constexpr　を取っ払ってみれば，リンカが怒るハズです．

[holmirr707]

なるほど、定数は大丈夫なんですね
constexprをconstにしても動きましたが、constも取り除くと多重定義でリンカエラーになりました

Answer 2

C++で以下のプログラムがエラーにならない理由を教えていただきたいです。

C++では、const（constexprによって暗黙に設定されたものも含め）は自動で内部リンケージとなるため問題ありません。

（以下、間違い）

---

たまたまconstans::piのアドレスや参照を取るコードを書かなかったからです。constans::piをODR-useした場合、多重定義となり動作は未定義です。

多重定義にならないのでしょうか。

上記のヘッダを使ったコードの書き方によっては多重定義となります。

Comments

[maisumakun]

C++17では変数にもinline指定することが可能となり、実体を1つとするすることもできます。

https://cpprefjp.github.io/lang/cpp17/inline_variables.html

[fana]

本件は，　変数　ではなくて　定数　の話であると見えます．
リンカのエラーの話なので，多重定義状態ではそもそも

> 動作

に行き着かないのではないでしょうか．

[maisumakun]

「リンク失敗」も未定義の動作の1つとして認められる挙動です。

（上のコードは未定義ではなかったので修正しています）

[holmirr707]

回答ありがとうございます。
ODRについて知識不足なのが分かったのでもう少し調べてみます

[fana]

>たまたまconstans::piのアドレスや参照を取るコードを書かなかったからです。

constants::pi は２つの異なる翻訳単位で別々の実態になるものと理解しているのですが，そこから違いますか？
アドレスを取ろうが何も問題は無いと認識しているのですが．

[maisumakun]

すみません、完全に自分の間違いでした。

[fana]

うーん，私は（私の回答のように）
C++であれば，const や constexpr だけで（staticを付けずとも）内部リンケージになる（逆に，C++でこれらを外部リンケージにするためには extern を付ける必要がある）ものと認識しています．

（…んだけど，何かまともなソースが見つけられない．）

[fana]

（ありゃ，コメント投稿タイミングが行き違いました）

[maisumakun]

CとC++の違いもあって混乱したところもありました。

[holmirr707]

お二人ともありがとうございました。
constは内部リンケージなんですね。
納得しました。