使用 std::enable_if 的正确方法

Question

这些类之间有什么区别？正是这些方法与 enable_if。

/// Alias of std::enable_if...
template <bool B, typename T = void>
using Enable_if = typename std::enable_if<B, T>::type;

Template<typename T, std::size_t N>
class A {
   ...
    template <std::size_t NN = N,
          typename = Enable_if<NN == 2>>
    Some_Return_Type
    method(param1, param2)
    {}

    template <std::size_t NN = N,
              typename = Enable_if<NN == 1>>
    Some_Return_Type
    method(param1)
    {}


};


Template<typename T, std::size_t N>
class B {
   ...
    Enable_if<N == 2, Some_Return_Type>
    method(param1, param2)
    {}

    Enable_if<N == 1, Some_Return_Type>
    method(param1)
    {}
};

在我有的情况下使用 enable_if 的正确方法是什么：

• 至少有 2 个方法仅在参数上有所不同，并且它们具有相同的名称，但其中只有一个必须是“活动的”（如果 N == 1 其中一个，如果 N == 2 另一个）。
• 只有一种方法在 N == 0 时有效，而在其他情况下无效。

我想得到类似的东西：

Obj<int, 2> obj2;
Obj<int, 0> obj0;
Obj<int, 1> obj1;

如果我在 IDE obj0. 中编写它只显示 N == 0 的方法； obj1. 仅限 N == 1, ... .

谢谢。

Answer 1

请注意，enable_if 旨在触发 SFINAE：如果模板参数替换在其 立即 上下文中失败，则不是编译错误。

这正是class A 中发生的情况：当用户调用a.method(...) 时，编译器尝试实例化成员函数模板method，将NN 参数替换为常量，这可能会失败。

但是，在 B::method 的情况下，当编译器替换 N 时，在类模板 B 实例化期间会发生“错误”替换。故障发生在远离参数的直接上下文的地方，在本例中为template<typename T, std::size_t N> class B。

这就是为什么在第二种情况下你会得到一个编译错误，而不是 SFINAE。

因此，要根据 类模板 参数启用/禁用成员函数，请使用第一种方法，根据需要组合条件。例如：

template <typename T, std::size_t N>
class A {
    template <std::size_t NN = N, typename = std::enable_if_t<NN == 2 || NN == 0>>
    void method(int, int)
    {}

    template <std::size_t NN = N, typename = std::enable_if_t<NN == 1 || NN == 0>>
    void method(int)
    {}
};

更新： enable_if 的工作原理。大致可以这样实现：

template<bool, class T = void>
struct enable_if {};

template<class T>
struct enable_if<true, T> {
    using type = T;
};

请注意，如果第一个参数是 false，enable_if 没有内部 type，所以 enable_if<false, int>::type 格式不正确。这就是触发 SFINAE 的原因。