C 20 類別模板建構函式中是否允許冗餘模板參數清單？

C 20 中的類別模板建構子中的冗餘模板參數清單

具有冗餘模板參數清單的類別模板構造函數的有效性一直存在爭議C 20 的介紹。這是問題及其解決方案：

在C 中17 中，下面的程式碼被認為是格式良好的：

template<typename T>
struct S {
    S<T>();
};

但是，在C 20 中，相同的程式碼在-std=c 20 下的某些編譯器（例如gcc trunk）中觸發錯誤：

error: expected unqualified-id before ')' token
    3 |     S<T>();
                 ^

C 的變化20

C 20 標準要求更改類別模板建構子宣告的語法。標準相容性部分中的以下增量強調了這一點：

[diff.cpp17.class]

...

Change: A simple-template-id is no longer valid as the declarator-id of a constructor or destructor.
Rationale: Remove potentially error-prone option for redundancy.
...

本質上，不再允許在先前的程式碼中使用「冗餘」模板參數清單 S()。相反，必須使用注入的類別名稱 S：

template<typename T>
struct S {
    S(); // CORRECT C++20 syntax
};

基本原理

此變更的基本原理是透過禁止使用簡單的範本 ID。透過強制明確使用注入的類別名，編譯器可以更準確地解析預期的建構函數。

結論

C 20 中的此更改不構成錯誤，而是有意進行的重大更改，以增強類模板構造函數聲明的清晰度和正確性。雖然這可能會導致依賴先前語法的現有程式碼出現相容性問題，但它最終提高了 C 應用程式的整體安全性和可靠性。

以上是C 20 類別模板建構函式中是否允許冗餘模板參數清單？的詳細內容。更多資訊請關注PHP中文網其他相關文章！