std::common_type 的目的是什么？

我开始看std::common_type我不太确定其目的和功能。 有几件事仍然让我觉得奇怪：

• 参数的顺序很重要：common_type<Foo, Bar, Baz>可能不同于common_type<Baz, Foo, Bar>。一个可能会编译，另一个可能不会。虽然这从方式上很明显common_type被定义了，感觉很奇怪而且不直观。这是因为缺乏通用解决方案还是有意为之？
• 实例化可能会导致编译器错误，而不是我可以处理的错误。如何检查是否common_type实际上会编译吗？is_convertible还不够common_type可能是专门的？

• 在这样的情况下仍然无法找出常见类型：

  struct Baz;
  struct Bar { int m; };
  struct Foo { int m; }; 
  struct Baz { Baz(const Bar&); Baz(const Foo&); };
  

  推荐的解决方案是专业化common_type这很乏味。有更好的解决方案吗？

如需参考，请参阅 N3242 中的第 §20.9.7.6 表 57。

std::common_type被引入与使用std::duration---如果你添加一个std::duration<int> and a std::duration<short>那么结果应该是std::duration<int>。我们决定委托给一个单独的模板，该模板使用适用于该对象的核心语言规则找到结果，而不是指定无限的允许配对。?:算术 if 运算符。

然后人们发现这个模板可能普遍有用，并将其添加为std::common_type，并扩展为处理任意数量的类型。但在 C++0x 库中，它仅用于类型对。

您应该能够使用新的 SFINAE 规则来检测是否存在某些实例化std::common_type已验证。我还没有尝试过。在大多数情况下，如果没有“通用类型”，那么无论如何您都无能为力，因此编译错误是合理的。

std::common_type不是魔法——它遵循以下规则?:. If true?a:b将编译，std::common_type<decltype(a),decltype(b)>::type会给你结果的类型。