constexpr関数の未定義シンボル

Question

次のコードをコンパイルしようとすると、リンカーエラーが発生します。Undefined symbols for architecture x86_64: "Foo()", referenced from: _main in main.o LLVM 4.2を使用しています。

この現象は、この機能がconstexprとマークされている場合にのみ発生します。機能がconstとマークされると、プログラムは正しくコンパイルされ、リンクされます。関数を宣言すると、リンカエラーが発生するのはなぜですか？constexpr

（私は関数を作成すると、この方法は、コンパイル時計算の利益を与えないことを認識し、関数がリンクに失敗する理由は、この時点で私は好奇心旺盛です。）

main.cppに

#include <iostream> 
#include "test.hpp" 

int main() 
{ 
    int bar = Foo(); 
    std::cout << bar << std::endl; 

    return 0; 
} 

test.hpp

constexpr int Foo(); 

constexpr関数が暗黙のうちにinlineしているためであるTEST.CPP

#include "test.hpp" 

constexpr int Foo() 
{ 
    return 42; 
} 

Answer 1

Why does declaring the function constexpr cause a linker error?

。段落C++ 11標準の7.1.5/2あたり：その後、パラグラフ7.1.2/4あたり

A constexpr specifier used in the declaration of a function that is not a constructor declares that function to be a constexpr function. Similarly, a constexpr specifier used in a constructor declaration declares that constructor to be a constexpr constructor. constexpr functions and constexpr constructors are implicitly inline (7.1.2).

、：

An inline function shall be defined in every translation unit in which it is odr-used and shall have exactly the same definition in every case (3.2). [...]

Answer 2

それは興味深い質問ですね。 Andy Prowlとして、constexprは の関数をinlineとしています。つまり、それを使用するすべての翻訳単位には の定義が必要です。 コンパイラからのエラーが予想されます。 （実際には、 場合、私はあなたが 機能を使用し、何の定義が存在しない場合、診断が必要とされ、正しく§3.2/ 5をお読みください。）constは異なる挙動を示す理由として

：あなたは 以外をマークすることはできません - メンバ機能const。 const int Foo();と書く場合、 はconstの関数ではありませんが、戻り値の型がクラス型でない場合は を返します。ただし、 のcv修飾子は無視されるため、実際はint Foo();と同じです） 。

Answer 3

constexprの本体は、使用されるすべてのポイントで表示する必要があります。あなたの場合はtest.hppにmove Foo()のコードが必要です。

は、例えば、main.cppにこのコードを検討：

constexpr int Foo(); 

int main() { 
    static_assert(Foo() == 42, "Ops"); 
} 

Foo()はtest.cppに定義されます。コンパイラがstatic_assertの状態を確認するには、を参照してください。main.cppが表示されない場合は、42を返します。それ無理。 constexpr関数の全体のポイントは、コンパイラがコンパイル時にそれらを「呼び出す」ことができることです。このためには、コードを参照する必要があります。

したがって、これは罰金コンパイル：

constexpr int Foo() { return 42; } 

int main() { 
    static_assert(Foo() == 42, "Ops"); 
}