錯誤傳遞聲明爲`的extern炭[]`到在VC

Question

函數模板考慮以下（人工）示例的變量時：

template <typename T> 
void f(const T&) {} 

extern char test[]; 

int main() { 
    f(test); 
} 

char test[] = ""; 

GCC和鏘編譯成功，但Visual C++給出以下錯誤：

test.cc(7): error C2664: 'f' : cannot convert parameter 1 from 'char []' to 'const char (&)[1]' [...vcxproj] Reason: cannot convert from 'char []' to 'const char [1]' There is no context in which this conversion is possible

爲什麼VC++會出現此錯誤，而其他編譯器接受代碼以及如何避免此錯誤？

Answer 1

引用C++ 11 8.3.5-8：

If the type of a parameter includes a type of the form 「pointer to array of unknown bound of T」 or 「reference to array of unknown bound of T,」 the program is ill-formed.

在那個f(test)被調用的時候，test具有類型char []，並T扣除到char []。那麼f將有const char(&)[]類型的參數，這是不允許的。

所以VC++是正確的。它可能是編譯器的擴展或錯誤，如果它接受這個。

Answer 2

事實證明這是一個C++ Language Core Language Issue 393與刪除該條款

If the type of a parameter includes a type of the form 「pointer to array of unknown bound of T」 or 「reference to array of unknown bound of T,」 the program is ill-formed.

這就是GCC和鏘都這樣做的建議的決議。在這種情況下，EDG前端（由Visual C++使用）開發人員選擇發佈錯誤，儘管術語「包含類型」未由標準定義。