C++17系列if constexpr语句的错误场景如何生成有用编译报错

你遇到的static_assert无条件触发的核心原因是：如果static_assert的校验条件不依赖模板参数，编译器会在模板定义阶段直接求值校验，无论该分支是否被if constexpr选中都会报错。你可以通过让断言条件依赖模板参数的方式解决该问题，这也是C++17下最简便的方案：

实现代码 #

#include <type_traits>
#include <string_view>

template <typename T>
int f() {
    if constexpr (std::is_floating_point_v<T>) {
        // 浮点数对应逻辑
        return 1;
    } else if constexpr (std::is_integral_v<T>) {
        // 整数对应逻辑
        return 2;
    } else if constexpr (std::is_convertible_v<T, std::string_view>) {
        // 字符串类类型对应逻辑
        return 3;
    } else {
        // 条件依赖模板参数T，仅当该else分支被实际实例化时才会校验
        static_assert(!std::is_same_v<T, T>, 
                      "不支持的类型，仅允许传入浮点数、整数、可转换为string_view的字符串类型");
        // 无意义返回用于规避返回值缺失警告，static_assert触发后编译会直接终止，不会走到这一步
        return 0;
    }
}

原理说明 #

!std::is_same_v<T, T> 永远为假，但因为表达式依赖模板参数T，编译器必须等到模板实例化阶段、且该else分支被选中时才会对表达式求值，只有当传入的类型未匹配前面所有分支时才会触发断言，输出你自定义的错误信息。
该方案对返回值为void的函数也完全生效，不会出现无提示的问题。

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