為什麼部分類別模板參數推導仍然行不通？

為什麼部分類模板參數推導仍然難以捉摸

儘管P0091：類模板的模板參數推導提案旨在調整行為函數和類模板，類別模板的部分推導仍保留不可行。

考慮類別範本：

template <std::size_t S, typename T>
struct test
{
    static constexpr auto size = S;
    using type_t = T;

    test(type_t (&input)[size]) : data(input) {}
    type_t (&data)[size]{};
};

使用輔助函數方便使用時：

template <std::size_t S, typename T>
test<S, T> helper(T (&input)[S]) { return input; }

程式碼如：

int buffer[5];

auto a = helper<5, int>(buffer); // No deduction
auto b = helper<5>(buffer);      // Type deduced: FAILS
auto c = helper(buffer);         // Type and size deduced

編譯成功。然而，在較新的編譯器版本中，部分推導（即 auto b = helper(buffer);）失敗，表示確實不支援部分類別模板參數推導。

此限制源於擔憂提出了以下情況下潛在的混亂：

// Deduced as tuple<int, string, float>
// but tuple<int> is also a valid type!
tuple<int> t(42, "waldo", 2.0f);

因此，雖然該提案最初旨在統一推導行為，但類模板的部分推導仍然存在由於潛在的歧義問題而無法使用。

以上是為什麼部分類別模板參數推導仍然行不通？的詳細內容。更多資訊請關注PHP中文網其他相關文章！