char* 中的字符串构造函数没有被隐式调用？

Question

我有以下代码。

void print_pair(const std::pair<const std::string&, const int&>& p)
{
    std::cout << p.first << "," << p.second << std::endl;
}
print_pair(std::pair<const std::string&, const int&>("test",1));//1
print_pair(std::pair<const std::string&, const int&>(std::string("test"),1));//2

产生以下输出：

,1
test,1

这两行不应该产生相同的输出吗，因为在第一种情况下，应该隐式调用 char* 中的字符串的构造函数？为什么 const 引用在第一种情况下似乎没有延长第一对参数的寿命？

使用 gcc4.9 -std=c++11 -O3 编译。

Answer 1

问题在于您的对是一对引用，而不是值。当你有：

using pair_t = std::pair<const std::string&, const int&>;
pair_t("test",1);

编译器需要为构造找到最佳候选，C++11中的最佳匹配是：

template< class U1, class U2 >
constexpr pair( U1&& x, U2&& y );

类型为U1 = const char(&)[5] 和U2 = int。在内部，要绑定引用，它将创建一个临时字符串，但是当该表达式完成时（并且在从该构造函数返回之前），临时将消失，您将留下一个悬空引用。

程序有未定义的行为，它打印一个空字符串，就像它可能崩溃或打印任何垃圾一样。

如果你这样做：

pair_t(std::string("test"), 1);

创建临时的表达式与调用函数的表达式相同，并且该临时的生命周期将持续到函数完成，因此第二行是正确的并表现出预期的行为。