c++ - 为什么 container.value_type 在 C++ 中是非法的

Question

以下代码是非法的:

#include <vector>
#include <utility>

int main() {
    std::vector<std::pair<int, char> > v;
    v.push_back(v.value_type(0, 'a')); // *
}

我必须将 * 更改为

v.push_back(decltype(v)::value_type(0, 'a'));

让代码正常工作。

为什么不允许标有*的行？这个理由背后的原因是什么？

Answer 1

总而言之，这是因为 C 对类型和变量有单独的命名空间，这意味着如果 . 可能是，您可以构建由于 C++ 中的歧义而无法访问成员的场景用于以这种方式访问​​成员和类型。更改命名空间规则会破坏与合法 C 代码的兼容性。

struct s1 { typedef int X; };
struct s2 { void X(); };
typedef struct s1 X;
struct s2 X;
int main() {
    X.X();
}

现在呢？您无法从上下文中判断 X.X 应该是什么。

这就是为什么 . 和 :: 在语言中 - X.X() 指的是成员函数调用，而 X::X 指的是一个类型。