c++ 由構造函數選擇推導出 bool class 模板參數

Question

我試圖通過選擇 class 構造函數來推斷布爾模板參數。 一個簡單的例子：

template <typename A, bool Condition>
class Subrange {
    public:
    Subrange(A a) requires (not Condition); /* create Subrange<A, false> */
    Subrange(A a, int b) requires (Condition); /* create Subrange<A, true> */
};

這甚至可能還是必須在構造函數上明確指定 Condition ？
PS：條件不依賴A。

Answer 1

您可以將 class 模板參數推導 (CTAD)（C++17 起）的用戶定義推導指南定義為：

template<typename A> Subrange(A a) -> Subrange<A, false>;
template<typename A> Subrange(A a, int b) -> Subrange<A, true>;

然后

Subrange s1(0);    // -> Subrange<int, false>
Subrange s2(0, 0); // -> Subrange<int, true>