相关疑难解决方法(0)

_{这个问题是一个跟进这一个}

[temp.concept]/5说:

概念未实例化([temp.spec]).[注意:表示概念特化的id表达式被计算为表达式([expr.prim.id]).[...]

因此,可能由于可访问性而将名称概念特化的表达式赋予不同的值.

如果是这种情况,我想知道将在哪个上下文中评估表达式:

• 概念定义的背景;

• 表达的背景;

• 表达式的上下文递归地应用于概念定义中出现的概念表达式？

例如,什么可能是A::b2和A::b2_rec？的价值？

template<class T>
concept has_private = requires(){ &T::private_;};

template<class T>
concept has_private_rec = has_private<T>;

class B{
   int private_;
   friend class A;
   };

inline constexpr bool b1 = has_private<B>;//I expects false
inline constexpr bool b1_rec = has_private_rec<B>;//I expects false

class A{
   static constexpr bool b2 = has_private<B>; //?
   static constexpr bool b2_rec = has_private_rec<B>; //?
};

注意Clang实验概念和gcc概念TS实现产生b1和b1_rec的编译错误,但b2和b2_rec为真;