非模板类模板成员函数中static_assert在MSVC2022编译报错

问题根源 #

• 你代码中的static_assert(false, ...)是无条件触发的非依赖错误——它不依赖模板参数Type，根据C++标准，编译器无需等待模板被实例化，在解析模板阶段就会直接报错。
• MSVC 2022在/permissive-和/std:c++latest模式下严格遵循了标准规则；而MSVC 2019旧版本对这类情况做了宽松处理，未触发错误。
• 报错未显示具体类型，是因为错误发生在模板本身的语法检查阶段，还未到实例化具体类型的步骤。

解决方案 #

要让static_assert仅在模板被实例化时触发，必须让断言条件依赖于模板参数，以下是两种可行方案：

方案1：修改为依赖模板参数的永远假表达式 #

将false替换为一个永远为假但依赖Type的表达式，比如!std::is_same_v<Type, Type>：

#include <type_traits>

class TestClass
{
    size_t MemberFn() { /* shared stuff between trivial and non-trivial */
        return 0;
    }
    template<typename Type>
    size_t MemberFn(std::enable_if_t<!std::is_trivially_constructible_v<Type> || !std::is_trivially_destructible_v<Type>>* = nullptr)
    {
        static_assert(!std::is_same_v<Type, Type>, "not implemented yet");
        return 0;
    }
    template<typename Type>
    size_t MemberFn(std::enable_if_t<std::is_trivially_constructible_v<Type> && std::is_trivially_destructible_v<Type>>* = nullptr)
    {
        static_assert(!std::is_same_v<Type, Type>, "not implemented yet");
        return 0;
    }
};

该表达式永远为假，但因依赖模板参数Type，编译器只会在实例化模板时检查它，未调用则不会触发断言。

方案2：使用C++20 requires约束（更简洁） #

如果项目支持C++20，可将enable_if替换为requires表达式，同时保持依赖模板参数的断言：

#include <type_traits>

class TestClass
{
    size_t MemberFn() { /* shared stuff between trivial and non-trivial */
        return 0;
    }
    template<typename Type>
    requires (!std::is_trivially_constructible_v<Type> || !std::is_trivially_destructible_v<Type>)
    size_t MemberFn()
    {
        static_assert(!std::is_same_v<Type, Type>, "not implemented yet");
        return 0;
    }
    template<typename Type>
    requires (std::is_trivially_constructible_v<Type> && std::is_trivially_destructible_v<Type>)
    size_t MemberFn()
    {
        static_assert(!std::is_same_v<Type, Type>, "not implemented yet");
        return 0;
    }
};

这种写法更清晰直观，同样满足仅在模板实例化时触发断言的要求。

关键原理 #

C++标准将模板内的错误分为两类：

• 非依赖错误：错误不依赖模板参数，编译器在解析模板时必须报错。
• 依赖错误：错误依赖模板参数，仅在模板被实例化时才会检查。

MSVC 2022在严格模式下严格执行了这一规则，而MSVC 2019旧版本未做严格检查，导致代码可通过编译。

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