[C++] friend関数の宣言でinline指定

Question

規格案N4842を読んでいて分からないことがあったので質問させてください．

9.2.7 The inline specifier の第5パラグラフにて，

If the inline specifier is used in a friend function declaration, that declaration shall be a definition or the function shall have previously been declared inline.

とあり，
「classの内側でinlineなfriend関数を宣言した後，classの外側で定義とかできないのか？」
と考え試しに以下のエラーコードを書いてみましたが何もエラーがでませんでした．

エラーが出力されないのは，
第6パラグラフの後半に記載されているNDR(no diagnostic is required)と関係があるのでしょうか？
パラグラフが異なるので関係ないと思いますが．．．

struct X{
        friend inline void f();
};

void f(){} // エラー出ず

実行環境

GCC 9.2.0
Clang 6.0.0

Answer 1

FYI: Clang++は下記コードであればエラーとして検知するようです。

/*inline*/ void f() {}

struct C
{
  friend inline void f();
};

error: inline declaration of 'f' follows non-inline definition
  friend inline void f();
                     ^
note: previous definition is here
/*inline*/ void f() {}
                ^

Comments

[THE_1987]

回答ありがとうございます．
第6パラグラフにて，

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

とあります．
記載していただいたコードはこれにも該当すると思います．
先日上記規格文に関して，記載していただいたのと同じようなコードでGCCではなぜエラーが出ないのか質問したことがあり，その文のすぐに後述してあるNDRのせいと教えてもらいました．

[yohhoy]

"If the inline specifier is used in a friend function declaration, " == struct C { friend inline void f(); }
"that declaration shall be a definition" == <not satisfied>
"or the function shall have previously been declared inline." == /*inline*/ void f()
のつもりです

Answer 2

回答ではないですが……。

C++03のリリース後（C++03以前の規格は無料では閲覧できないため）に公開された最初のワーキングドラフト N1638 には既にその記述があります。
一方、C++03 に対応するJISの規格にはその記述がありません（ただし、JISから漏れているだけという可能性もあり）。
その間のISOのメーリングリストを見たのですが、それらしい記述は見つからず、どういった経緯で入ったのかもわかりませんでした。C++03以前からあるのかもしれません。

英語圏で検索しても、この記述の存在に触れている記事の一つすらないですが、意味がありそうにない記述なので誰も気にしていないのかもしれません。

Comments

[THE_1987]

回答ありがとうございます．
色々調べて頂きありがとうございます．

"意味がありそうにない記述なので誰も気にしていないのかもしれません。"

なんかそんな気がします...

[yuki23]

「その宣言が関数定義であるか、あらかじめinline宣言されていなければならない」を文字通り読めば、関数定義が後にあってもエラーにならないのは規格通りだと思います。
問題は、あらかじめinline宣言されていないのにエラーにならないという点だと思うんですが、
それとは別に friend 宣言は前方宣言が不要というルールがあるので、「あらかじめinline宣言されていなければならない」というのは矛盾しているのですが、「（もし前方宣言されているなら）」という但し書きをつけて読もうにも "previously" と強調されているので違和感があるんですよね……
英語ネイティブの人には「前方宣言されていなければならない」とは読まないのが常識なのかもしれません。