小编slo*_*ace的帖子

我尝试在godbolt上提供的以下代码片段中使用 std::is_invocable 。

#include <type_traits>
 
struct A {
  void operator()(int);
};

struct B {
  void operator()(int, int);
};

struct C : A, B {};

int main()
{
  static_assert(std::is_invocable<A, int>() == true);
  static_assert(std::is_invocable<B, int>() == false);
  static_assert(std::is_invocable<C, int>() == true);
}

Clang 可以解决所有问题，但 GCC 似乎对这一行有问题：

static_assert(std::is_invocable<C, int>() == true);

C 继承了函数调用运算符。

那么GCC的实现是不正确的还是仍在进行中？