在以下代码中,clang抱怨不存在转换操作符:
class A{
public:
operator int () const {return i;}
A(int i_): i(i_) {}
template<class B>
friend auto operator * (const B& l, A&& r)
-> decltype(l * int(std::move(r))){
return l * int(std::move(r));
}
int i;
};这发生在所有的clang版本6-9中,请参阅https://godbolt.org/z/ELuRHp。错误消息如下:
<source>:11:19: error: cannot convert 'typename std::remove_reference<A &>::type' (aka 'A') to
'int' without a conversion operator
-> decltype(l * int(std::move(r))){
^~~~~~~~~~~~~~~~同样的代码在gcc 7-9中编译也很好,所以我想知道这是clang中的一个bug,还是代码不正确。
编辑:@daniel提供的相同错误的较短版本,可以在这里找到https://godbolt.org/z/Krnh27。原始代码示例是代码库中类的简化版本,因此产生了不必要的decltype。
发布于 2020-03-31 20:23:05
这看起来像一只叮当的虫子。
来自非限定名查找
用于类定义中任何地方使用的名称(包括基类说明符和嵌套类定义),但成员函数的默认参数、成员函数的异常规范或默认成员初始化器除外,其中成员可能属于一个嵌套类,其定义位于封闭类的主体中,搜索以下作用域: a)在其中使用名称的类的主体,直到使用为止。 ..。
根据以上所述,用户定义的转换函数必须在尾部返回类型中可见.
下面是一个成员函数的另一个例子,它在gcc身上工作得很好,但是没有在clang上编译。
void f(A a, decltype(int(A)) {}https://stackoverflow.com/questions/60947975
复制相似问题