在塊範圍函數聲明中內聯

Question

以下內容的含義是什麼？

ISO/IEC 14882：2011

7.1.2功能說明符[dcl.fct.spec] ...
3 ...內聯說明符將不會出現在一個塊範圍功能 聲明。

根據這個報價是不是這樣的無效？

#include <iostream> 

int main() 
{ 
    inline void foo(); 
    foo(); 
} 

void foo() 
{ 
    std::cout << "::foo() \n"; 
} 

gcc編譯它沒有任何錯誤。

我錯了嗎？

Answer 1

根據這個報價是不是這樣的無效？

是的，由於您在問題文本中引用了標準段落，因此無效。

編譯器接受它的事實可能是bug或文檔擴展名，但肯定不符合C++ 11標準。

其他信息：

當我試着使用GCC 4.7.2編譯上面的程序，我得到一個說警告：

警告：'inline'符的功能'foo'無效宣告出局全球範圍[-pedantic]

Answer 2

我認爲gcc在這裏欺騙自己。這應該是非法的。這裏發生的是gcc將inline void foo();添加到其符號表中，認爲它未定義。因此，就其而言，呼叫foo();應該是不確定的。

但是，當鏈接器（ld）稍後嘗試鏈接代碼時，它會在全局範圍內找到foo的定義，並且可以使用該範圍。