对象的范围解析运算符

Question

在 C++ 中，我们有一个operator:: ，它允许我们做这样的事情：

typedef std::pair<A, B> pairAB;
pairAB p;

pairAB::first_type a(42);
pairAB::second_type b("hello world");

p.first = a;
p.second = b;

我试图在这种类型的对象上使用这个运算符：

pairAB p2;

p2::first_type a2(42);
p2::second_type b2("hello again");

p2.first = a2;
p2.second = b2;

编译器向我显示了error: C2510: 'p2' : left of '::' must be a class/struct/union ，我想知道是否有任何技巧可以让我这样做？

Answer 1

如果您使用 GCC，则有一个 C++11 之前的等效项__typeof__ ，其行为类似。 尝试：

#include <string>

int main()
{
  typedef std::pair<int, std::string> pairAB;
  pairAB p2;

  __typeof__(p2.first) a2 = 42;
  __typeof__(p2.second) b2 = "hello again";

  p2.first = a2;
  p2.second = b2;
}

例子在这里。

或者，如果您可以使用boost ，它会提供Boost.typeof ，它也应该适用于较旧的 Visual C++ 编译器。

Answer 2

获取变量的类型正是 c++11 中decltype关键字的作用。

decltype(p2.first) a2 = 42;

在 c++11 之前，没有标准的方法来做到这一点。 有一些特定于编译器的功能，例如 gcc 的typeof和基于库的实现，例如 Boost.Typeof，它们在 c++11 之前就已经存在，并且可以做类似的事情。

Answer 3

不需要 C++11 特性，也不需要像 C++03 中的typeof这样的编译器扩展，它们是不可移植的。 如果正在使用该变量，则其类型在某处可用 - 假设它是模板或函数签名中的 T。

然后你可以简单地typename T::first_type因为pair携带其成员类型的成员类型信息（就像许多其他 STL 类，如容器、 string等）。