c++ - using 指令不适用于 c++20 概念吗？

Question

using 指令对概念不起作用吗？为什么？

下面的示例不起作用，我收到一个编译器错误，指出它需要一个类型。

#include <concepts>

namespace A::X {

  struct BaseA {};

  template < typename AType >
    concept DerivedFromA = std::derived_from < AType, BaseA >;

}

namespace A {

  using DerivedFromA = X::DerivedFromA;

}

我希望能够从命名空间 A 访问概念 DerivedFromA 作为 DerivedFromA 而不是 X::DerivedFromA

Answer 1

Does using directives not work with concepts? why?

因为您使用 using 的方式声明了类型别名。 概念不是类型模板。

您打算做的是使一个 namespace 中的名称在另一个 namespace 中可用。看起来像这样:

namespace A
{
  using X::DerivedFromA;
}

这适用于所有类型的名称。