C++是否支持模板化static_assert？如何实现模板类的通用静态断言

通过SFINAE技术可以检查类成员函数的存在性，static_assert能有效确保普通类具备所需方法，但针对模板类，目前只能对具体模板参数的实例做static_assert，这种方式不够高效——比如示例中Hello模板的所有实例都自带helloworld方法，与模板参数无关，但无法一次性检查所有实例。

示例代码：

#include <iostream>

// SFINAE检查工具
template <typename T>
class has_helloworld
{
    typedef char one;
    struct two { char x[2]; };

    template <typename C>
    static one test(decltype(&C::helloworld));
    template <typename C>
    static two test(...);

public:
    enum { value = sizeof(test<T>(0)) == sizeof(char) };
};

template <int number>
struct Hello
{
    int helloworld() { return 0; }

    // 类未定义完成，无法直接在此处断言
    // static_assert(has_helloworld<Hello<number>>::value);
};

template <int number>
struct Generic {};

int main()
{
    // 仅能针对具体参数断言，不够理想
    static_assert(has_helloworld<Hello<3>>::value);

    std::cout << has_helloworld<Hello<2>>::value << std::endl;
    std::cout << has_helloworld<Generic<2>>::value << std::endl;

    return 0;
}

提问：C++中是否存在无需指定具体模板参数，就能检查模板类所有实例属性的“模板化static_assert”？

C++本身没有原生的“模板化static_assert”语法，但可以通过以下方式实现对模板类所有实例的批量属性检查：

方法1：C++11及以上——静态成员+构造函数触发断言 #

利用类模板的静态成员变量（在类定义完成后初始化，此时类为完整类型，可正确执行SFINAE检查），结合构造函数中的static_assert，确保任何实例化都会触发检查：

#include <iostream>

// SFINAE检查工具
template <typename T>
class has_helloworld
{
    typedef char one;
    struct two { char x[2]; };

    template <typename C>
    static one test(decltype(&C::helloworld));
    template <typename C>
    static two test(...);

public:
    static constexpr bool value = sizeof(test<T>(0)) == sizeof(char);
};

template <int number>
struct Hello
{
    int helloworld() { return 0; }

    // 构造时触发断言，只要实例化就会检查
    Hello() {
        static_assert(is_valid, "Hello类必须包含helloworld成员函数");
    }

    static const bool is_valid;
};

// 类定义完成后初始化静态成员，此时Hello<number>是完整类型，可正确检查
template <int number>
const bool Hello<number>::is_valid = has_helloworld<Hello<number>>::value;

template <int number>
struct Generic {};

int main()
{
    Hello<3> h; // 自动触发断言，检查通过
    std::cout << has_helloworld<Hello<2>>::value << std::endl; // 输出1
    std::cout << has_helloworld<Generic<2>>::value << std::endl; // 输出0

    return 0;
}

方法2：C++20及以上——使用Concept约束 #

定义Concept描述所需属性，通过辅助模板让模板类继承，确保所有实例化都会触发约束检查：

#include <iostream>
#include <concepts>

// 定义Concept：要求类型具备返回可转换为int的helloworld方法
template <typename T>
concept HasHelloWorld = requires(T t) {
    { t.helloworld() } -> std::convertible_to<int>;
};

// 辅助检查模板，用于触发static_assert
template <int number>
struct HelloChecker {
    static_assert(HasHelloWorld<Hello<number>>, "Hello类必须满足HasHelloWorld约束");
};

template <int number>
struct Hello : HelloChecker<number> {
    int helloworld() { return 0; }
};

template <int number>
struct Generic {};

int main()
{
    Hello<5> h; // 实例化时自动触发检查
    std::cout << std::boolalpha << HasHelloWorld<Hello<2>> << std::endl; // 输出true

    return 0;
}

无需指定具体模板参数的“模板化static_assert”并非C++原生语法，但可以通过以下方式实现等效效果：

1. 在C++11及以上版本，利用类模板的静态成员变量（类定义后初始化）+构造函数触发static_assert，确保所有实例化都会执行属性检查；
2. 在C++20及以上版本，使用Concept定义属性约束，通过辅助模板让模板类继承，批量检查所有实例。

这些方案都能避免针对每个具体模板参数手动编写断言，实现对模板类所有实例的统一属性校验。

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