blocks|key|131400|text|有两个因素可以让你的代码工作。首先，如果允许函数参数匹配重载，则函数参数最多允许一个隐式转换。其次，const引用可以绑定到临时对象。这里发生的事情是，y被隐式地转换为int，创建了一个临时副本。然后，v被绑定到该临时文件。|type|unstyled|depth|inlineStyleRanges|offset|length|style|CODE|entityRanges|data|131401|考虑以下示例：|131402|#include+<iostream>

void+foo(const+unsigned+int+&+v)+{
++++std::cout+<<+&v+<<+'\n';
}

void+bar(const+int+&+v)+{
++++std::cout+<<+&v+<<+'\n';
}

int+main()
{
++++unsigned+int+y+=+1;
++++std::cout+<<+&y+<<+'\n';
++++foo(y);
++++bar(y);
++++return+0;
}|code-block|syntax|javascript|131403|您将发现foo(y)打印与y相同的地址，而bar(y)打印不同的地址。这不适用于非const引用。值得注意的是，如果可以，这将意味着更改v实际上可能不会更改y。|131404|entityMap^0|1E|5|24|1|2C|3|2T|1|0|0|0|4|6|D|1|L|6|15|5|1W|1|26|1|0^^$0|@$1|2|3|4|5|6|7|Q|8|@$9|R|A|S|B|C]|$9|T|A|U|B|C]|$9|V|A|W|B|C]|$9|X|A|Y|B|C]]|D|@]|E|$]]|$1|F|3|G|5|6|7|Z|8|@]|D|@]|E|$]]|$1|H|3|I|5|J|7|10|8|@]|D|@]|E|$K|L]]|$1|M|3|N|5|6|7|11|8|@$9|12|A|13|B|C]|$9|14|A|15|B|C]|$9|16|A|17|B|C]|$9|18|A|19|B|C]|$9|1A|A|1B|B|C]|$9|1C|A|1D|B|C]]|D|@]|E|$]]|$1|O|3|-4|5|6|7|1E|8|@]|D|@]|E|$]]]|P|$]]

There are two factors that allow your code to work. First, function arguments are allowed up to one implicit conversion if it would allow them to match an overload. Second, <code>const</code> references can bind to temporaries. What is happening here is <code>y</code> is implicitly converted to <code>int</code>, creating a temporary copy. <code>v</code> is then bound to that temporary.

Consider the following example :

<pre><code>#include &lt;iostream&gt;

void foo(const unsigned int &amp; v) {
 std::cout &lt;&lt; &amp;v &lt;&lt; '\n';
}

void bar(const int &amp; v) {
 std::cout &lt;&lt; &amp;v &lt;&lt; '\n';
}

int main()
{
 unsigned int y = 1;
 std::cout &lt;&lt; &amp;y &lt;&lt; '\n';
 foo(y);
 bar(y);
 return 0;
}
</code></pre>

You will find that <code>foo(y)</code> prints the same address as <code>y</code> where as <code>bar(y)</code> prints a different address. This won't work with non-<code>const</code> references. Notably, if you could, it would mean that changing <code>v</code> might not actually change <code>y</code>.

blocks|key|260576|text|是的，这可能是相当烦人的。由于在调用站点将y隐式转换为匿名临时int而导致编译通过，并且允许const+int&绑定。|type|unstyled|depth|inlineStyleRanges|offset|length|style|CODE|entityRanges|data|260577|您可以通过编写以下代码来解决此问题|260578|void+foo(unsigned+v)+=+delete;|code-block|syntax|javascript|260579|甚至是|260580|template<typename+Y>+void+foo(Y+v)+=+delete;|260581|因此，除您显式指定的重载之外的所有重载都将被删除。|260582|entityMap^0|L|1|V|3|1A|A|0|0|0|0|0|0^^$0|@$1|2|3|4|5|6|7|U|8|@$9|V|A|W|B|C]|$9|X|A|Y|B|C]|$9|Z|A|10|B|C]]|D|@]|E|$]]|$1|F|3|G|5|6|7|11|8|@]|D|@]|E|$]]|$1|H|3|I|5|J|7|12|8|@]|D|@]|E|$K|L]]|$1|M|3|N|5|6|7|13|8|@]|D|@]|E|$]]|$1|O|3|P|5|J|7|14|8|@]|D|@]|E|$K|L]]|$1|Q|3|R|5|6|7|15|8|@]|D|@]|E|$]]|$1|S|3|-4|5|6|7|16|8|@]|D|@]|E|$]]]|T|$]]

Yes, this this can be quite annoying. Compilation passes due to an implicit conversion of <code>y</code> to an anonymous temporary <code>int</code> at the calling site, and a <code>const int&amp;</code> binding is allowed.

You can defeat this by writing

<pre><code>void foo(unsigned v) = delete;
</code></pre>

or even

<pre><code>template&lt;typename Y&gt; void foo(Y v) = delete;
</code></pre>

so all overloads other than the one you have explicitly given are deleted.

<pre><code>void foo(const int&amp; v) {
 int x = v;
 std::cout &lt;&lt; x;
}

int main()
{
 unsigned y = 1;
 foo(y);
}
</code></pre>

Is passing <code>y</code> in place of a <code>const int&amp;</code> legal in C++

Why a different type variable can be used as an argument of a parameter of const reference parameter in C++

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

void foo(const int& v) { int x = v; std::cout << x;}int main(){ unsigned y = 1; foo(y);}在C++中传递y代替const int& legal

问为什么不同类型的变量可以用作C++中常量引用参数的参数的实参
EN

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问为什么不同类型的变量可以用作C++中常量引用参数的参数的实参EN