5

我知道、和（例如在“for each”循环中）之间的区别auto，但让我感到惊讶的是：auto&const autoconst auto&

std::string bla;
const std::string& cf()
{
    return bla;
}


int main (int argc, char *argv[])
{
    auto s1=cf();
    const std::string& s2=cf();
    s1+="XXX"; // not an error
    s2+="YYY"; //error as expected
}

那么有人能告诉我x表达式中的类型何时auto x = fun();与返回值的类型不同fun()吗？

4

2 回答 2

18

的规则auto与模板类型推导相同：

template <typename T>
void f(T t); // same as auto
template <typename T>
void g(T& t); // same as auto&
template <typename T>
void h(T&& t); // same as auto&&

std::string sv;
std::string& sl = sv;
std::string const& scl = sv;

f(sv); // deduces T=std::string
f(sl); // deduces T=std::string
f(scl); // deduces T=std::string
f(std::string()); // deduces T=std::string
f(std::move(sv)); // deduces T=std::string

g(sv); // deduces T=std::string, T& becomes std::string&
g(sl); // deduces T=std::string, T& becomes std::string&
g(scl); // deduces T=std::string const, T& becomes std::string const&
g(std::string()); // does not compile
g(std::move(sv)); // does not compile

h(sv); // deduces std::string&, T&& becomes std::string&
h(sl); // deduces std::string&, T&& becomes std::string&
h(scl); // deduces std::string const&, T&& becomes std::string const&
h(std::string()); // deduces std::string, T&& becomes std::string&&
h(std::move(sv)); // deduces std::string, T&& becomes std::string&&

一般来说，如果你想要一个副本，你使用auto，如果你想要一个参考，你使用auto&&。auto&&保留了引用的常量，也可以绑定到临时对象（延长它们的生命周期）。

于 2012-08-21T10:11:34.227 回答
1

在 g++-4.8 中，对函数返回类型的自动推导进行了增强：

2012-03-21 杰森美林 

Implement return type deduction for normal functions with -std=c++1y.

您需要 -std=c++1y 或 -std=gnu++1y 标志。

这有效：auto sluggo() { return 42; }

int
main()
{
    auto s1 = sluggo();
    s1 += 7;
}

OP 问题仅+="YYY"按预期出错。你甚至可以用 auto 声明 cf：

#include <string>

std::string bla;

const auto&
cf()
{
    return bla;
}


int
main()
{
    auto s1 = cf();
    const std::string& s2 = cf();
    s1 += "XXX"; // not an error
    s2 += "YYY"; // error as expected
}

它仍然错误+="YYY"。

于 2012-08-22T20:09:23.463 回答