我的理解是auto是decltype的语法糖

int *p=new int(1);
const auto &q=p; // int * const q=p
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

你这个例子不太合适，我的理解是，q这个时候是个const int*&。

更合适和常见的例子是
std::vector<A> a_vec;
for( const auto& elem : a_vec )
{
    xxxx
}
在这个例子里，如果用const auto elem : a_vec，编译器会把auto解释为cosnt A，所以每个elem是一个copy，而如果显示用了const auto& elem，等于告诉编译器，你这儿每个elem是一个reference。 因为&&会引发decay，所以除非你的auto类型在函数的input里，然后在代码里，又有明显的地方表示除非auto&&是个rvalue,不然编译不过，不然编译器不会认为auto&&是个rvalue.

理解不对的地方请版上各位指正。



【 在 lushan5436 的大作中提到: 】
: o，
: 这个auto，我很多地方容易费解。正常这个&&只能用于 右值，但auto&&却用于了左值
: 还有类似的
: ...................
--
FROM 122.224.174.*

你上一个编译不过的例子不就都清楚了？
【 在 ziqin (子青|会挽雕弓如满月|西北望|射天狼) 的大作中提到: 】
: 标  题: Re: unique_ptr 和auto &&
: 发信站: 水木社区 (Thu Jul 22 15:26:29 2021), 站内
:
: 我的理解是auto是decltype的语法糖
:
: int *p=new int(1);
: const auto &q=p; // int * const q=p
: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
:
: 你这个例子不太合适，我的理解是，q这个时候是个const int*&。
:
: 更合适和常见的例子是
: std::vector<A> a_vec;
: for( const auto& elem : a_vec )
: {
:     xxxx
: }
: 在这个例子里，如果用const auto elem : a_vec，编译器会把auto解释为cosnt A，所以每个elem是一个copy，而如果显示用了const auto& elem，等于告诉编译器，你这儿每个elem是一个reference。 因为&&会引发decay，所以除非你的auto类型在函数的input里，然后在代码里，又有明显的地方表示除非auto&&是个rvalue,不然编译不过，不然编译器不会认为auto&&是个rvalue.
:
: 理解不对的地方请版上各位指正。
:
:
:
: 【 在 lushan5436 的大作中提到: 】
: : o，
: : 这个auto，我很多地方容易费解。正常这个&&只能用于 右值，但auto&&却用于了左值
: : 还有类似的
: : ...................
:
: --
:
: ※ 来源:·水木社区 http://www.mysmth.net·[FROM: 122.224.174.*]
--
FROM 76.126.252.*

如果foo()返回的是左值，不管用wrapper还是auto&&都会match到const A&啊
【 在 ziqin (子青|会挽雕弓如满月|西北望|射天狼) 的大作中提到: 】
: 标  题: Re: unique_ptr 和auto &&
: 发信站: 水木社区 (Thu Jul 22 15:39:54 2021), 站内
:
: 可能我读到的文献里perfect forward仅仅只forward函数的input。
:
: 需要perfect forward的情况是expression同时有
:
: expression(const A& a)
: expression(A&& a)
:
: 然后在forward call的时候，compiler需要deduct具体呼叫哪个，因为是个模板
: template<class T>
: wrapper(T&& a)
:
: 但是
: foo()的return type永远是lvalue
:
: 就算
: auto&& x = foo();
: expression(x)
: 呼叫的也是expression(const A& a)，如果需要呼叫expression(A&& a)，需要
: expression(std::move(x))
:
: 【 在 here080 的大作中提到: 】
: : perfect forward不就是这个意思？
: :
:
: --
:
: ※ 来源:·水木社区 http://www.mysmth.net·[FROM: 122.224.174.*]
--
FROM 76.126.252.*

你就说我认为的等价关系是否存在吧？

或者说你举个例子说明不同代码间的区别吧。
【 在 ziqin (子青|会挽雕弓如满月|西北望|射天狼) 的大作中提到: 】
: 标  题: Re: unique_ptr 和auto &&
: 发信站: 水木社区 (Thu Jul 22 15:45:33 2021), 站内
:
: 我的意思就是函数的return type不可能是rvalue，
:
: 所以你在这儿不存在forward，因为永远都是lvalue
:
: forward，只有在从input传input才叫forward
:
: &&会触发decay deduction，但是只有应用在input到input的情况下才叫forward
你强调这个没有意义。
std::forward()的函数签名里就使用了remove_refernce，效果是类似的。
:
:
: 【 在 here080 的大作中提到: 】
: : 如果foo()返回的是左值，不管用wrapper还是auto&&都会match到const A&啊
: :
:
: --
: ※ 修改:·ziqin 于 Jul 22 15:47:14 2021 修改本文·[FROM: 122.224.174.*]
: ※ 来源:·水木社区 http://www.mysmth.net·[FROM: 122.224.174.*]
--
修改:ziqin FROM 122.224.174.*
FROM 76.126.252.*

C++里的引用又叫“别名”
int b = 3;
int& a = b;
此刻之后a和b就是完全一样的东西。
之所以有各种decay的规定，就是为了达到这个效果。
T&和T的左值等价的。
【 在 ziqin (子青|会挽雕弓如满月|西北望|射天狼) 的大作中提到: 】
: 标  题: Re: unique_ptr 和auto &&
: 发信站: 水木社区 (Thu Jul 22 16:00:50 2021), 站内
:
: 编译不过去的代码我觉得不存在，但是，他最开始的例子，也是他产生迷惑的地方：
:
: auto p = std::make_unique<int>(7);
: auto&& q=p;
:
: 你认为第二行的auto&& q = p;是一个函数呼叫吗？
: operator=(const unique_ptr& ) = delete
: 所以第二行就不是一个函数呼叫，如果按auto&& 左边的就是右边的简单理解，那p是一个unique_ptr，q是一个unique_ptr&，明显是不一样的
:
:
:
: 【 在 here080 的大作中提到: 】
: : 你就说我认为的等价关系是否存在吧？
: : 或者说你举个例子说明不同代码间的区别吧。
: : 你强调这个没有意义。
: : ...................
:
: --
:
: ※ 来源:·水木社区 http://www.mysmth.net·[FROM: 122.224.174.*]
--
FROM 76.126.252.*