VC++ 允许对 STL 容器使用 const 类型.为什么?
STL 容器要求存储的值是可复制构造和可分配的.const T 显然不是任何 T 的可赋值类型，但我尝试使用它(只是出于好奇)并发现它可以编译，而且还表现为可赋值类型.
STL containers require the stored values to be copy constructible and assignable. const T is obviously not an assignable type for any T, but I tried to use it (just being curious) and found out that it compiles and, moreover, behaves as an assignable type.
vector<const int> v(1);
v[0] = 17;
这在 Visual Studio 2008 中成功运行并将 v[0] 分配给 17.
This successfully runs in Visual Studio 2008 and assigns v[0] to 17.
推荐答案
这不是其他人建议的实现中的错误.
This is not a bug in the implementation as others have suggested.
违反 C++ 标准库工具的要求不会使您的程序格式错误，而是会产生未定义的行为.
Violating the requirements of a C++ Standard Library facility does not render your program ill-formed, it yields undefined behavior.
您违反了存储在容器中的值类型必须是可复制构造和可分配的要求(const 类型显然不可分配)，因此您的程序表现出未定义的行为.
You have violated the requirement that the value type stored in a container must be copy constructible and assignable (const types are not assignable, obviously), so your program exhibits undefined behavior.
C++ 标准中的适用语言可以在 C++03 17.4.3.6 [lib.res.on.functions] 中找到:
The applicable language from the C++ Standard can be found in C++03 17.4.3.6 [lib.res.on.functions]:
在某些情况下(替换函数、处理函数、对用于实例化标准库模板组件的类型的操作)，C++ 标准库依赖于由 C++ 程序提供的组件.如果这些组件不满足他们的要求，则标准不会对实现提出要求.
In certain cases (replacement functions, handler functions, operations on types used to instantiate standard library template components), the C++ Standard Library depends on components supplied by a C++ program. If these components do not meet their requirements, the Standard places no requirements on the implementation.
特别是，在以下情况下效果未定义:
In particular, the effects are undefined in the following cases:
...
- 对于在实例化模板组件时用作模板参数的类型，如果对类型的操作没有实现适用的需求子条款的语义.
Visual C++ 标准库实现可以对这段代码做任何事情，包括静默删除或忽略 const 限定，它仍然符合标准.
The Visual C++ Standard Library implementation may do anything with this code, including silently removing or ignoring the const-qualification, and it is still standards-conforming.
相关文章