如何在VS2012中实现打印T2类实例时触发static_assert报错

VS2012对C++11的函数模板默认参数支持有局限性，这就是你遇到C4519错误的原因——它还没实现函数模板默认参数的特性。不过我们有两种更适合VS2012的方案来实现你的需求：

方案一：使用删除函数（推荐，最简洁） #

C++11的删除函数（deleted function）特性在VS2012中是支持的，直接声明针对T2的operator<<为删除状态，这样只要尝试调用这个重载，编译器就会直接报错：

#include <iostream>

// 假设这是你的T2类
class T2 {};

// 声明并删除T2的流输出运算符
std::ostream& operator<<(std::ostream& os, const T2& t2) = delete;

int main() {
    T2 my_t2;
    std::cout << my_t2; // 编译报错：尝试调用已删除的函数
    return 0;
}

这个方案的优点是代码极简，编译器的报错信息也直接明了，一眼就能看出是调用了被禁止的函数。

方案二：模板+static_assert（自定义错误信息） #

如果你需要更个性化的错误提示，可以用模板配合SFINAE来限制只有T2类型会触发断言，同时避免影响其他类型的流输出：

#include <iostream>
#include <type_traits>

class T2 {};

template <typename T>
// 仅当T是T2类型时，这个重载才会被编译器考虑
typename std::enable_if<std::is_same<T, T2>::value, std::ostream&>::type
operator<<(std::ostream& os, const T& t) {
    // 用依赖于模板参数的条件触发断言，避免未实例化时报错
    static_assert(!std::is_same<T, T2>::value, "错误：禁止打印T2类的实例！");
    return os;
}

int main() {
    T2 my_t2;
    std::cout << my_t2; // 编译报错，输出你自定义的错误信息
    return 0;
}

这里用std::enable_if和std::is_same确保这个模板只匹配T2类型，而static_assert的条件依赖于模板参数T，只有当模板被实例化（也就是尝试打印T2时）才会触发断言，避免编译器在模板未使用时就报错。

这两种方案都能在VS2012中正常工作，根据你的需求选择就好~

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