为什么 std::derived_from 概念是通过添加 cv 限定符的附加可转换性测试来实现的？

问题描述

在 GCC C++20 概念库中，它有

template<typename _Derived,typename _Base>
    concept derived_from = __is_base_of(_Base,_Derived)
    && is_convertible_v<const volatile _Derived*,const volatile _Base*>;

1. 为什么只需要 __is_base_of(_Base,_Derived) 还不够？
2. 测试中需要使用const volatile吗？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）