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

Question

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

以下代码：

#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");
}

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

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

Answer 1

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

[dcl.constexpr]#9

A constexpr specifier used in an object declaration declares the object as const.

所以pair_of_ints的类型实际上是：

const std::pair<int, int>

typeid 忽略 cv-qualifiers，这就是此信息不会出现在名称中的原因：

[expr.typeid]#5

If the type of the expression or type-id is a cv-qualified type, the result of the typeid expression refers to a std::type_info object representing the cv-unqualified type.

您可以针对 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);

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

Why does std::make_pair not return a pair? Or does it?

c++

c++11

std-pair

static-assert