gpt4 book ai didi

c++ - 为什么 const 允许隐式转换参数中的引用?

转载 作者:太空狗 更新时间:2023-10-29 23:48:59 25 4
gpt4 key购买 nike

这听起来像是一个愚蠢的问题,但我对以下行为感到困惑:

void funcTakingRef(unsigned int& arg) { std::cout << arg; }
void funcTakingByValue(unsigned int arg) { std::cout << arg; }

int main()
{
int a = 7;
funcTakingByValue(a); // Works
funcTakingRef(a); // A reference of type "unsigned int &" (not const-qualified)
// cannot be initialized with a value of type "int"
}

在考虑之后,这是有道理的,因为在传递值时会创建一个新变量并可以进行转换,但在传递变量的实际地址时就没有那么多了,就像在 C++ 中一样,一旦变量成为它们的类型无法真正改变。我认为它类似于这种情况:

int a;
unsigned int* ptr = &a; // A value of type int* cannot be used to
// initialise an entity of type "unsigned int*"

但是如果我让 ref 函数接受一个 const 转换就有效:

void funcTakingRef(const unsigned int& arg) { std::cout << arg; } // I can pass an int to this.

但是在指针的情况下不一样:

const unsigned int* ptr = &a; // Doesn't work

我想知道这是什么原因。我认为我的推理是正确的,当创建一个新变量时,按值传递时的隐式转换是有意义的,而因为在 C++ 中,类型一旦创建就永远不会改变,所以不能对引用进行隐式转换。但这似乎不适用于 const 引用参数。

最佳答案

关键是暂时的。

引用不能直接绑定(bind)到不同类型的变量。对于这两种情况,int 都需要转换为 unsigned int,这是一个临时值(从 int 复制)。临时 unsigned int 可以绑定(bind)到 const 的左值引用(即 const unsigned int&),(并且它的生命周期延长到生命周期引用的),但不能绑定(bind)到非常量的左值引用(即 unsigned int&)。例如

int a = 7;
const unsigned int& r1 = a; // fine; r1 binds to the temporary unsigned int created
// unsigned int& r2 = a; // not allowed, r2 can't bind to the temporary
// r2 = 10; // trying to modify the temporary which has nothing to do with a; doesn't make sense

关于c++ - 为什么 const 允许隐式转换参数中的引用?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/48576011/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com