为什么 std::make_pair 不返回一对？或者是吗？

Question

我的内部完整性检查失败，所以我在 Stackoverflow 上重新运行它。

以下代码：

#include <iostream>
#include <typeinfo>
#include <utility>

int main()
{
    constexpr auto pair_of_ints = std::make_pair(1, 2);
    std::cerr << typeid(pair_of_ints).name();
    //static_assert(std::is_same<decltype(pair_of_ints), std::pair<int, int>>::value, "WTF");
}

在我的系统 (XCode Clang 8.x) 上为 std::__1::pair<int, int> 生成损坏的符号名称。

如果我随后启用static_assert，它会失败。我不知道为什么。 我怎样才能使这项工作？我有一个函数根据传递给它的参数返回一对或元组，并想验证它是否在正确的情况下实际返回一对或元组。

Answer 1

您将pair_of_ints 声明为constexpr，这意味着const：

[dcl.constexpr]#9

对象声明中使用的constexpr 说明符将对象声明为const。

所以pair_of_ints的类型其实是：

const std::pair<int, int>

typeid 忽略 cv-qualifiers，这就是为什么名称中没有出现此信息的原因：

[expr.typeid]#5

如果表达式的类型或 type-id 是 cv 限定类型，则 typeid 表达式的结果引用代表 cv 不限定类型的 std::type_info 对象。

您可以针对 const 限定类型进行测试，或者使用 std::remove_const_t 删除 const 限定符：

static_assert(std::is_same<decltype(pair_of_ints), 
                           const std::pair<int, int>>::value);
static_assert(std::is_same<std::remove_const_t<decltype(pair_of_ints)>, 
                           std::pair<int, int>>::value);