为什么我不能在类范围内声明一个概念？ [英] Why can't I declare a concept at class scope?

问题描述

考虑以下代码：

struct A
{
    template <typename T>
    concept foo = true;
};

它不能编译。我的浪10给了我error: concept declarations may only appear in global or namespace scope，GCC也说了类似的话。

有什么不允许的原因吗？我不明白为什么它不能工作，即使封闭的类是一个模板。

推荐答案

将出现的根本困难是概念可能会变得依赖：

template<class T>
struct A {
  template<T::Q X>
  void f();
};

是X是(依赖)类型T::Q的非类型模板参数(在C++20中不需要typename)，还是受T::Q概念约束的类型模板参数？

规则是前者；我们需要新的语法(类似于typename/template)来表达另一种可能性：可能类似于

template<T::concept Q X> requires T::concept R<X*>
void A::g() {}

没有人认真研究过这样的扩展，而且它很容易与可能更有价值的概念语法的其他扩展冲突。

这篇关于为什么我不能在类范围内声明一个概念？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！