[C++] 非inline関数を定義後，inlineとして再宣言する

Question

規格案N4842を読んでいてよくわからなかったので質問させてください．

9.2.7 The inline specifier にて，

"If a definition of a function or variable is reachable at the point of its first declaration as inline,
the program is ill-formed."

とありますが，この文章が意味することがよくわかりません．
表題「非inline関数の定義後，それをinlineとして再宣言する」のようなことができないことを指しているのかな？
と思い以下のコードを書いてみましたがエラーは出ませんでした．

どなたかわかる方，ご教授いただけるとありがたいです．

void f(){}; // 非inline関数として定義
inline void f(); // inline関数として再宣言，エラー出ず

int main()
{
   f();
   return 0;
}

実行環境

GCC 9.2.0
オプション引数: -std=c++17

Answer 1

質問者の理解で正しいと思います。

しかし、もう少し読み進めると no diagnostic is required (NDR と略されることが多いです) という文言もあり、これはコンパイル時に診断結果、つまりはエラーかどうかを判定して示さなくてもよい (もちろんしても良いですが) ことを意味し、エラーを出さない処理系でも規格準拠と言えるのです。

GCC だとエラーを出しませんが、 Clang だとエラーになるようです。

コンパイル時にエラーを出さなかったとしても結果が未定義であることにはかわりないので、やるべきではないです。

Comments

[THE_1987]

"no diagnostic is required"
を見落としていました．

>> GCC だとエラーを出しませんが、 Clang だとエラーになるようです。
調べてくださってありがとうございます，
Clangでコンパイルしたところちゃんとエラーにしてくれました．

Answer 2

「gcc inline」でぐぐると解説が出てきます

inlineというのはインライン展開を指示するものですが、事情によりinline出来ない場合は単にその指示は無視されます
提示のコードでは、すでに関数呼び出しとして定義されたあとであるため、再定義のinlineは無視されますね