C 14中的通用lambdas：奇怪的行为

Question

也许有些东西我没有完全理解，但是在阅读了“自动使用decltype”之后

让我们假设我们有

int size(std::string &&s) { std::cout <<"std::string&&" <<std::endl; return s.size(); }
int size(const std::string &s) { std::cout <<"std::string const &" <<std::endl; return s.size(); }

我定义了两个lamba（一个带有auto，另一个正确转发auto）

auto f = [](auto x) { return size(x); };

std::string s{ "buonanotte" };
std::cout <<f(s) <<std::endl;
std::cout <<f("fiorellino") <<std::endl;

auto g = [](auto&& x) { return size(std::forward<decltype(x)>(x)); };
std::cout <<g(s) <<std::endl;
std::cout <<g("fiorellino") <<std::endl;

结果是一样的：f（s）和g（s）调用size（constd::string

我的问题是：为什么会发生这种情况？难道不应该只有第二个lambda能够区分左值和右值吗？我期望第一个lambda（f（））调用两倍大小（const std:：string）

我做错什么了吗？

Answer 1

好啊

所以我想发表一个完整的答案（迈克尔，再次感谢）。我感到困惑的是，“fiorellino”是一个右值，为它创建了一个临时对象，当一个常量T

我现在以这种方式更改了我的示例：

int size(std::string &&s) { std::cout <<"std::string&&" <<std::endl; return s.size(); }
int size(const std::string &s) { std::cout <<"std::string const &" <<std::endl; return s.size(); }

std::string generate(int x) { return std::to_string(x); }

auto f = [](auto x) { return size(x); };

std::string s{ "buonanotte" };
std::cout <<"f(): "; f(s);
std::cout <<"f(): "; f("fiorellino");
std::cout <<"f(): "; f(generate(123));
std::cout <<"f(): "; f(std::move(s));

auto g = [](auto&& x) { return size(std::forward<decltype(x)>(x)); };

std::string s2{ "buonanotte" };
std::cout <<"g(): "; g(s2);
std::cout <<"g(): "; g("fiorellino");
std::cout <<"g(): "; g(generate(123));
std::cout <<"g(): "; g(std::move(s2));

现在，generate（123）创建一个正确的临时值，该临时值将由第一个lambda错误转发，但由第二个lambda正确转发。

看看输出：

f(): std::string const &
f(): std::string&&
f(): std::string const &
f(): std::string const &
g(): std::string const &
g(): std::string&&
g(): std::string&&
g(): std::string&&

即使我使用d::移动（s）（它创建一个右值引用），第一个lambda总是选择const T

Answer 2

难道不应该只有第二个lambda能够区分左值和右值吗？我期待着第一个lambda（f（））调用两倍大小（constd::字符串

字符串文字"fiorellino"是一个左值，但是当将其传递给size时，将从该字符串文字构造一个临时的std::字符串对象，该临时是一个右值。

也就是说，f中f（"fiorellino"）的x的类型将是const char*。当f调用size时，该const char*用于创建一个临时的std： string（右值）。

这反过来导致右值重载被选择为f（"fiorellino"）基于以下内容："当用作函数参数时，当函数的两个重载可用时，一个取右值引用参数，另一个取左值引用对于const参数，右值绑定到右值引用重载"（源）。