C++实现是否需对库模板错误参数给出诊断？依赖编译检查合规性安全吗？

问题背景 #

有人提议：移除std::map<K, V>中V类型的拷贝构造函数，通过编译结果判断标准库是否要求该模板参数必须具备可拷贝构造性。针对这个方法，我有两个疑问：

1. C++实现是否必须对库模板的错误参数给出诊断信息？
2. 若编译器本身符合标准，依赖这种编译检查方式来确认程序在模板参数要求方面的标准合规性是否安全？

注：本文假设所有类型方法的语义符合预期，仅关注方法签名等语法层面的要求。

疑问1：C++实现是否必须对库模板的错误参数给出诊断信息？ #

答案是不一定，得看具体要求的类型：

• 对于模板的强制核心要求（比如std::map的键类型必须支持<比较、可默认构造等），如果参数不满足，标准要求实现必须给出编译错误这类诊断信息。
• 但对于按需触发的可选要求（比如V的拷贝构造函数），只有当代码实际调用了需要该要求的操作时（比如拷贝整个map、插入左值元素到map中），才会触发实例化检查。如果代码里从来没用到这些操作，标准允许编译器不报错——因为C++模板是惰性实例化的，只有实际用到的代码片段才会被编译处理。

举个实际例子：如果你只是声明了std::map<int, NoCopyType>，但全程只做emplace插入右值、访问元素这些不需要拷贝NoCopyType的操作，那就算NoCopyType没有拷贝构造函数，编译器也完全可以不报错，这是符合标准的。

疑问2：依赖这种编译检查方式确认标准合规性是否安全？ #

并不完全安全，主要有几个局限：

1. 测试场景覆盖不全：如果测试代码没触发所有需要V拷贝构造的操作，就可能漏检。比如只测了emplace插入，但没测map的拷贝构造，那就算V没有拷贝构造函数，测试也会“通过”，但实际用到拷贝map时还是会报错。
2. 标准库实现差异：不同符合标准的标准库实现，内部逻辑可能有区别。比如某个实现可能在map的内部扩容逻辑里用到了V的拷贝构造，另一个实现则用了移动构造代替。这会导致同样的测试代码在不同编译器下结果不同，但两者都是合规的——没法通过编译结果反推标准的通用要求。
3. 语义要求无法检测：标准对模板参数的要求不止语法层面，还有语义层面（比如V的拷贝构造必须实现“值语义”，拷贝后的对象和原对象等价），这类要求编译检查完全没法验证，只能靠代码逻辑保证。

如果想准确知道std::map对模板参数的官方要求，最靠谱的方式是直接查C++标准文档里的明确规定，而不是依赖这种编译测试。

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