基于编译时常量禁用/隐藏模板中的函数

Question

是否可以使用编译时常量有条件地隐藏或禁用模板类中的函数？

想象一下以下课程:

template<size_t M, size_t N>
class MyClassT
{
    // I only want this function available if M == N, otherwise it is illegal to call
    static MyClassT<M, N> SomeFunc()
    {
        ...
    }
}


MyClassT<2,2>::SomeFunc(); // Fine
MyClassT<3,2>::SomeFunc(); // Shouldn't even compile

Answer 1

使用部分特化和继承:

// Factor common code in a base class
template <size_t n, size_t m>
class MyClassTBase
{
    // Put here the methods which must appear
    // in MyClassT independantly of n, m
};

// General case: no extra methods
template <size_t n, size_t m>
class MyClassT : MyClassTBase<n, m>
{};

// Special case: one extra method (you can add more here)
template <size_t n>
class MyClassT<n, n> : MyClassTBase<n, n>
{
    static MyClassT<n, n> SomeFunc()
    {
        ...
    }
};

另一种选择是使用SFINAE:std::enable_if或其变体:

template <size_t n, size_t m>
class MyClassT
{
    template <typename EnableIf = char>
    static MyClassT<n, m> SomeFunc(EnableIf (*)[n == m] = 0)
    {
        ...
    }
};

更冗长的替代方案(但如果您不了解SFINAE和指向数组的指针则不那么令人惊讶)

template <size_t n, size_t m>
class MyClassT
{
    template <typename Dummy = char>
    static MyClassT<n, m>
    SomeFunc(typename std::enable_if<n == m, Dummy>::type * = 0)
    {
        ...
    }
};

通常,我更喜欢SFINAE方法,其中有一个或两个成员函数来启用或禁用.一旦它变得比这更复杂,我更喜欢部分专业化技术.

编辑: SFINAE代码错误,因为没有模板功能.纠正.

Answer 2

提供专业化的理想方法是使用模板专业化。您可以将所有基本功能移至基类：

template< size_t M, size_t N >
class basic_class{ ... };

template< size_t M, size_t N >
class my_class : basic_class< M, N > { ... };


template< size_t M >
class my_class< M, M > : basic_class< M, N > { ... };

或者，您可以添加一个虚拟模板参数并使用enable_if：

template< typename Dummy = int >
typename std::enable_if< M == N, my_class >::type some_func( Dummy* = 0 );