如何根据模板参数是否存在启用类模板对应成员函数？

这个需求完全可以实现，核心依赖C++的SFINAE（替换失败并非错误）机制，结合标准库中的类型判断工具来控制成员函数的可用性，同时需要处理void模板参数下成员变量的合法性问题。

实现代码 #

C++11及以上版本（SFINAE方式） #

#include <cstdio>
#include <type_traits>

template <typename T = void>
class A final
{
public:
    // 仅当模板参数T非void时可调用
    template <typename U = T, typename = typename std::enable_if<!std::is_same<U, void>::value>::type>
    void f()
    {
        printf("%d\n", member);
    }

    // 仅当模板参数T为void时可调用
    template <typename U = T, typename = typename std::enable_if<std::is_same<U, void>::value>::type>
    void g()
    {
        printf("No template parameter\n");
    }

    // 仅当T非void时存在member成员
    typename std::enable_if<!std::is_same<T, void>::value, T>::type member;
};

int main()
{
    A<int> a1;
    a1.member = 42;
    a1.f(); // 合法，正常输出42
    // a1.g(); // 编译错误，符合预期
    A<> a2;
    // a2.f(); // 编译错误，符合预期
    a2.g(); // 合法，正常输出提示信息

    return 0;
}

C++20及以上版本（requires表达式方式） #

C++20引入的requires表达式让条件约束更直观，代码可读性更强：

#include <cstdio>
#include <type_traits>

template <typename T = void>
class A final
{
public:
    // 仅当T非void时可调用
    void f() requires (!std::is_same_v<T, void>)
    {
        printf("%d\n", member);
    }

    // 仅当T为void时可调用
    void g() requires (std::is_same_v<T, void>)
    {
        printf("No template parameter\n");
    }

    // 仅当T非void时存在member成员
    T member requires (!std::is_same_v<T, void>);
};

// 定义条件成员变量
template <typename T>
    requires (!std::is_same_v<T, void>)
T A<T>::member;

int main()
{
    A<int> a1;
    a1.member = 42;
    a1.f(); // 合法
    // a1.g(); // 编译错误
    A<> a2;
    // a2.f(); // 编译错误
    a2.g(); // 合法

    return 0;
}

所需标准库工具与特性 #

• <type_traits>头文件：提供std::is_same（C11）/std::is_same_v（C17）用于判断模板参数是否为void；std::enable_if（C++11）用于基于类型条件启用或禁用函数、成员变量。
• SFINAE机制：C++模板系统的核心规则，当模板参数替换失败时，编译器不会直接抛出错误，而是跳过该重载/特化版本，这是实现条件函数的基础。
• C++20 requires表达式（可选）：替代SFINAE的更直观约束语法，简化条件函数的编写。

内容的提问来源于stack exchange，提问作者yonutix