c++ static_assert怎样使用

static_assert是C++11引入的一个关键字，用于在编译时期进行断言检查。如果断言失败，程序将显示错误消息并终止编译。这对于确保代码满足特定条件或约束非常有用。

要使用static_assert，请按照以下步骤操作：

1. 在需要检查的地方添加static_assert关键字。
2. 在static_assert后面，使用括号包含一个布尔表达式。这个表达式应该在编译时期求值，如果结果为false，则触发断言失败。
3. 在括号内，可以添加一个可选的错误消息字符串，当断言失败时，该字符串将作为错误的一部分显示。

下面是一个简单的示例，展示了如何使用static_assert来检查一个类型是否具有某个成员函数：

#include <iostream>
#include <type_traits>

template <typename T>
void myFunction() {
    // 使用static_assert检查T是否具有名为'myFunction'的成员函数
    static_assert(std::is_member_function_pointer<decltype(&T::myFunction)>::value,
                  "Type T must have a member function named myFunction");

    // 如果上述断言失败，编译器将显示错误消息并终止编译
    // 否则，继续执行myFunction的实现
}

class MyClass {
public:
    void myFunction() {}
};

int main() {
    myFunction<MyClass>(); // 正常运行
    // myFunction<int>(); // 编译错误，因为int类型没有名为'myFunction'的成员函数
    return 0;
}

在这个示例中，我们使用static_assert和std::is_member_function_pointer来检查模板参数T是否具有名为myFunction的成员函数。如果T没有这样的成员函数，编译器将显示错误消息并终止编译。