gpt4 book ai didi

c++ - 转换为 `const Y` 不适用于 clang 上的 `R&&`

转载 作者:塔克拉玛干 更新时间:2023-11-03 00:16:11 25 4
gpt4 key购买 nike

下面的代码可以用 g++ (GCC) 4.7.1 20120721 编译,但是最近构建的 clang 版本 3.2 (trunk) 失败。

struct Y {};

struct X {
operator const Y() const { return Y(); }
};

void f(Y&& y) {}

int main()
{
f(X());
return 0;
}

将转换运算符更改为 operator Y() const 就足够了使代码在两个编译器上都能编译。

在这种情况下,哪个编译器实际上符合标准?做什么标准实际上是这样说的?

要求的逐字错误:

bla.cpp:14:5: error: no viable conversion from 'X' to 'Y'
f(X());
^~~
bla.cpp:1:8: note: candidate constructor (the implicit copy constructor) not viable: no known conversion from 'X' to
'const Y &' for 1st argument
struct Y {
^
bla.cpp:1:8: note: candidate constructor (the implicit move constructor) not viable: no known conversion from 'X' to
'Y &&' for 1st argument
struct Y {
^
bla.cpp:6:3: note: candidate function
operator const Y() const { return Y(); }
^
bla.cpp:10:12: note: passing argument to parameter 'y' here
void f(Y&& y) {}
^

编辑:不幸的是甚至添加了过载

void f(const Y&) {}

仍然让 clang 选择右值引用重载,所以这个破坏了用于编译的现有代码,例如与标准容器。

最佳答案

我相信 clang 拒绝这一点是正确的。将参数传递给 f(Y&&) 需要两个转换步骤,第一个是您的 operator const Y(),第二个是 Y 的复制构造函数。我认为两者都算作用户自定义转换,而且都是隐式的,这违反了隐式转换序列只包含一个用户自定义转换的原则。

Purpose of returning by const value?包含对返回 const T 的语义的一些有趣见解。

嗯,如果我像现在编辑的问题那样尝试添加重载 void f(const Y&y),clang 的行为会非常奇怪。它仍然提示无法将 X 转换为 Y,甚至没有在其诊断中列出重载 f(const Y& y) .但是,一旦我将重载更改为按值获取 Y,即编写 void f(const Y y),它就会提示对 f 的调用模棱两可。

这是 XCode 4.5 的 clang,它报告 Apple clang version 4.1 (tags/Apple/clang-421.11.66)(基于 LLVM 3.1svn)。如果你可以用 vanilla clang 重现这个,你应该在 clang 邮件列表上报告这个 - 肯定有一个错误潜伏在那里某处......

关于c++ - 转换为 `const Y` 不适用于 clang 上的 `R&&`,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/12779630/

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