インライン関数の定義が異なると、定義されていない動作ですか？

Question

最小限のコード：

// --------inline.h-------- 
struct X { 
    static inline void foo(); 
}; 
#ifdef YES 
inline void X::foo() { cout << "YES\n"; } 
#else 
inline void X::foo() { cout << "NO\n"; } 
#endif 

// --------file1.cpp-------- 
#define YES // <---- 
#include"inline.h" 
void fun1() 
{ 
    X::foo(); 
} 

// --------file2.cpp-------- 
#include"inline.h" 
void fun2() 
{ 
    X::foo(); 
} 

我々はfun1()とfun2()を呼び出した場合、その後、彼らは同じX::foo()の異なる機能体を参照している意味し、それぞれYESとNOを印刷します。

このコードにかかわらず、私の質問は
これは明確に定義されているか未定義の動作ですか？

Answer 1

はいこれは未定義の動作です。

リファレンス：

C++ 03標準：

7.1.2関数指定子[dcl.fct.spec]
パラ4：

インライン関数は、それが使用されるすべての翻訳単位で定義され、正確にすべての場合において同じ定義（3.2）。 [注：インライン関数の呼び出しは、その定義が翻訳単位に現れる前に発生する可能性があります。 ]外部リンケージを持つ関数が1つの翻訳単位でインラインで宣言されている場合は、それが現れるすべての翻訳単位でインラインで宣言されます。診断は必要ありません。外部リンクを持つ インライン関数は、すべての翻訳単位で同じアドレスを持つものとします。 externインライン関数の静的ローカル変数は、常に同じオブジェクトを参照します。 externインライン関数の文字列リテラルは、異なる翻訳単位で同じオブジェクトです。

注：3.2は述べて一つの定義ルールのことをいう：

[basic.def.odr]
パラ1 3.2 1つの定義ルール：

ありません翻訳単位は、変数、関数、クラス型、列挙型またはテンプレートの複数の定義を含むものとする。

Answer 2

未定義。あなたはODRに違反しています。

Answer 3

我々はFUN1（）を呼び出し、fun2（）した場合、その後、彼らは同じXの異なる機能体を参照している意味し、NOそれぞれYES印刷していないとします:: FOO（）。

試しましたか？さまざまな最適化レベルですか？

最適化レベルと、コンパイルされたオブジェクトがリンカに提示される順序によって、YES、NO、YES、YES、NOとNOが表示されます。

言うまでもなく、これは未定義の動作です。