c++ - C++ gcc HEAD 10.0.0 20190 在使用 requires 表达式和没有它的情况下指定 requires 子句时的不同行为

Question

考虑这两个演示程序 ( sizeof( unsigned long ) == sizeof( unsigned long long ))。

第一个是

#include <iostream>

unsigned long f( unsigned long n )
    requires ( not( ( sizeof( unsigned long ) == sizeof( unsigned long long ) ) ) )
{
    return n;
}

int main()
{
    std::cout << f( 0 ) << '\n';
}

编译器发出错误

错误：无法调用函数'long unsigned int f(long unsigned int) 需要！(sizeof (long unsigned int) == sizeof (long long unsigned int))'

但是当像这样在 requires 子句中使用 requires 表达式时

#include <iostream>

unsigned long f( unsigned long n )
    requires requires { not ( sizeof( unsigned long ) == sizeof( unsigned long long ) ); }
{
    return n;
}

int main()
{
    std::cout << f( 0 ) << '\n';
}

程序编译并运行。

这是编译器的错误还是我错过了什么？

标签： c++gccc++20

Answer 1

这个是正常的。以下：

requires ( not( ( sizeof( unsigned long ) == sizeof( unsigned long long ) ) ) )

表示如果条件为真，该函数参与重载决议。在您的情况下，条件是错误的，因为在您的实施中，unsigned long并且unsigned long long具有相同的大小。因此，该函数从重载决议中移除。

另一方面，在以下方面：

requires requires { not ( sizeof( unsigned long ) == sizeof( unsigned long long ) ); }

内部requires表达式是条件，它始终为真，因为它实际上只是测试其操作数是否格式正确，当然是正确的，无论它是真还是假。由于条件始终为真，因此该函数参与重载决议。

进一步阅读：https ://stackoverflow.com/a/54203135/481267