无法将右值引用函数与 GCC 匹配

Cannot match rvalue reference function with GCC

本文关键字：函数 GCC 匹配 引用      更新时间：2023-10-16

尝试使用右值引用时，我从GCC收到错误(clang不会生成错误(。

为什么编译器会生成错误？这是 GCC 中的错误吗？

"简化"错误是：


|In file included from /usr/include/c++/8/sstream:38,| from .code.tio.cpp:1:
|/usr/include/c++/8/istream: In instantiation of 'struct std::__is_extractable<std::istream&, std::istream& (*&)(std::istream&, std::string&), void>':|/usr/include/c++/8/type_traits:131:12: required from 'struct std::__and_<std::__is_convertible_to_basic_istream<std::istringstream > >, std::__is_extractable<std::istream&, std::istream& (*&)(std::istream&, std::string&), void> >'

|/usr/include/c++/8/type_traits:136:12: required from 'struct std::__and_<std::__not_<std::is_lvalue_reference<std::istringstream > > >, std::__is_convertible_to_basic_istream<std::istringstream > >, std::__is_extractable<std::istream&, std::istream& (*&)(std::istream&, std::string&), void> >'
|/usr/include/c++/8/istream:980:5: required by substitution of 'template<class _Istream, class _Tp> typename std::enable_if<std::__and_<std::__not_<std::is_lvalue_reference<_Tp> >, std::__is_convertible_to_basic_istream<_Istream>, std::__is_extractable<typename std::__is_convertible_to_basic_istream<_Tp>::__istream_type, _Tp&&, void> >::value, typename std::__is_convertible_to_basic_istream<_Tp>::__istream_type>::type std::operator>>(_Istream&&, _Tp&&) [with _Istream = std::istringstream; _Tp = std::istream& (*&)(std::istream&, std::string&)]'
|.code.tio.cpp:12:32: required from here
|/usr/include/c++/8/istream:951:12: error: no match for 'operator>>' (operand types are 'std::istream' and 'std::istream& (*)(std::istream&, std::string&)')
| __void_t<decltype(declval<_Istream&>()
| ~~~~~~~~~~~~~~~~~~~~
| >> declval<_Tp>())>>| ^~~~~~~~~~~~~~~~~

我正在尝试编译的代码是：

typedef std::istream &getline_type(std::istream &, std::string &);
void operator>>(std::istream &, getline_type) {}   // 1
void operator>>(std::istream &&, getline_type) {}
int main()
{
std::string s;
getline_type *getline = std::getline;          // 2
//using std::getline;                          // 3
std::istringstream("a") >> getline;
}

如果我注释掉标记为// 1的行，它可以工作。如果我使用标记为// 3而不是// 2的行，它也可以工作。

我相信 clang 正确地评估了代码的格式良好，但如果有正当理由拒绝代码，则可能表明 clang 中存在错误。

在线试用！

这似乎确实是一个 GCC 错误：重载解析失败的行是特征部分专用化声明的一部分，因此替换失败应该具有消除"重载"(部分特化(的通常效果，从而为特征产生false_type。 然后，出于同样的原因，operator>>模板专用化本身将被消除，从而留下重载。 我假设 GCC 让你的函数渗入查找集(但只是部分，因为它毕竟因为缺乏istream&重载而拒绝(。

相关文章：