限定符的成员函数是不明确的
当我用G ++ 编译我的代码时（ gcc 4.8.1和MinGW 4.8.2用-std=gnu++1y标志），我发现了一个奇怪的行为。 按照SSCCE I的精神，隔离以下代码片段：
struct C
{
template< typename X >
auto
f(X &&) const &
{ ; }
template< typename X >
auto
f(X &&) &
{ ; }
template< typename X >
auto
f(X &&) &&
{ ; }
};
int main()
{
int i{};
#if 1
C{}.f(i);
#endif
#if 1
C c{};
c.f(i);
#endif
return 0;
}
它给出了一个错误：
main.cpp: In function 'int main()':
main.cpp:29:10: error: call of overloaded 'f(int&)' is ambiguous
c.f(i);
^
main.cpp:29:10: note: candidates are:
main.cpp:6:5: note: auto C::f(X&&) const & [with X = int&]
f(X &&) const &
^
main.cpp:11:5: note: auto C::f(X&&) & [with X = int&]
f(X &&) &
^
main.cpp:16:5: note: auto C::f(X&&) && [with X = int&]
f(X &&) &&
^
但是，如果#if 1和#if 0 ，或#if 0和#if 1它正常编译。 另外，如果我用void替换所有的auto ，那么所有的编译都会成功。
它是错误的，还是只是我的误导？
g ++ 4.8.2与更简单的（Live at coliru）有相同的问题：
struct A {
auto f() & {}
auto f() && {}
};
int main() {
A{}.f();
A a;
a.f();
}
尽管该计划显然是正确的。 它似乎是ref-qualifiers与返回类型演绎之间的交互中的一个错误：大概是演绎过程在将它们交给重载解析之前从隐式对象参数中剥离限定符。
我已经将此报告为GCC错误60943。
链接地址: http://www.djcxy.com/p/78667.html