在基 CRTP 类的 requires 子句中使用派生类的数据成员

Question

我正在尝试通过 CRTP 和 requires 子句来实现一种静态多态性。

我想要实现的是在引用 CRTP 基类的函数中调用可能被覆盖的函数。

我通过以下方法使其与 GCC 10 和 11 一起工作：

#include <iostream>

template<typename T>
class Base
{
public:
  void f() const requires T::IsOverridden
    { static_cast<T const *>(this)->f(); }

  void f() const
    { std::cout << "Fallback f()" << std::endl; }
};

class A : public Base<A>
{
public:
  static constexpr bool IsOverridden = true;

public:
  void f() const
    { std::cout << "Overridden f()" << std::endl; }
};

class B : public Base<B> {};

template<typename T>
void f(Base<T> const &x)
  { x.f(); }

int main()
{
  A const a;
  B const b;

  f(a);
  f(b);

  return 0;
}

但是，Clang 11 不喜欢这段代码：

test.cpp:7:30: error: no member named 'IsOverridden' in 'A'
  void f() const requires T::IsOverridden
                          ~~~^
test.cpp:14:18: note: in instantiation of template class 'Base<A>' requested here
class A : public Base<A>
                 ^
test.cpp:7:30: error: no member named 'IsOverridden' in 'B'
  void f() const requires T::IsOverridden
                          ~~~^
test.cpp:24:18: note: in instantiation of template class 'Base<B>' requested here
class B : public Base<B> {};
                 ^

哪个编译器是正确的？

注意：我使用布尔成员来表示覆盖，因为我希望它与嵌套在模板类中的类一起使用，这是我在这种情况下想出的唯一方法。

Answer 1

我将发布我最终使用的内容，以防它对其他人有用。

我不喜欢使用很容易拼错的成员变量来表示函数已被覆盖。

相反，我使用默认的std::false_type NTTP 作为基类函数，使用std::true_type NTTP 作为重载，以便可以使用 requires 表达式检测它们：

#include <iostream>
#include <type_traits>

template<typename T>
class Base
{
public:
  template<std::false_type = std::false_type{}>
    requires requires(T const x) { x.template f<std::true_type{}>(); }
  void f() const
    { static_cast<T const *>(this)->f(); }

  template<std::false_type = std::false_type{}>
  void f() const
    { std::cout << "Fallback f()" << std::endl; }
};

class A : public Base<A>
{
public:
  template<std::true_type = std::true_type{}>
  void f() const
    { std::cout << "Overridden f()" << std::endl; }
};

class B : public Base<B> {};

template<typename T>
void f(Base<T> const &x)
  { x.f(); }

int main()
{
  A const a;
  B const b;

  f(a);
  f(b);

  return 0;
}

GCC 11 接受更简洁的语法 template<std::true_type = {}>，但 GCC 10 和 CLang 12 需要更长的 template<std::true_type = std::true_type{}>。