c++ - 基于模板参数创建多个类实现

Question

我有一个模板化的类 G:

template<int I>
class G {}

碰巧我需要基于该 int I 的 2 个实现

如果它是单个值，我总是能够这样做:

template<>
class G<int Specific_I>
{
    /*Implementation for that I*/
}

如果我有单一条件，表明如果为真则使用implementation_1，如果为假则使用implementation_2，我可以使用给出的建议here

<小时/>

但是，我的情况比较一般。

假设我为每个实现定义了 I 条件:

template<int I>
constexpr bool Condition_1 = /*whatever*/;

template<int I>
constexpr bool Condition_2 = /*whatever_v2*/;

这可以根据需要轻松阅读和扩展
如果在程序中调用时由于没有或多个适用于特定 I 的条件而出现错误，我对此表示同意

显而易见的选择是使用 std::enable_if_t

template<int I,
enable_if_t<Condition_1<I>>
        >
class G
{
    /*Implementation based on Condition_1*/
}

template<int I,
enable_if_t<Condition_2<I>>
        >
class G
{
    /*Implementation based on Condition_2*/
}

但这会导致错误

template parameter ‘typename std::enable_if<Condition_1<I>, void>::type <anonymous>’|

redeclared here as ‘typename std::enable_if<Condition_2<I>, void>::type <anonymous>’|

我在哪里犯了错误，该如何解决？

Answer 1

您的错误是您没有调整主模板以正确使用习惯用法。如果您想添加那些解析为 void 的 enable_if，则主模板声明需要在该位置添加一个类型参数:

template<int I, typename = void>
class G; // Or static_assert in the definition. Whichever flavor you prefer.

template<int I>
class G< I, enable_if_t<Condition_1<I>> >
{
    /*Implementation based on Condition_1*/
};

template<int I>
class G< I, enable_if_t<Condition_2<I>> >
{
    /*Implementation based on Condition_2*/
};

注意:对于要匹配条件的特化，默认参数必须为 void。当这两个条件都成立时，这当然会导致错误，但您确实断言这对您来说没问题，所以就这样。