如何测试一个类是否满足 C++ 中的一个概念？

问题描述

在 Rust 中，明确输入 impl Trait for Object 以保证 Object 将具有此特征。现在 C++20 concepts 当然更通用一些，因为它们不仅与一种类型相关联，而且可能与多种类型相关联。然而，这引出了一个问题，人们将如何确定您实现的某些类型实际上满足了某些概念。

现在的概念有点像鸭子，如果你的对象满足某人在 requires 块中试图用它做的所有事情（它像鸭子一样嘎嘎叫），那么它作为鸭子传递并满足这个概念。但是有没有办法说：“我希望这一系列课程通过测试”？

这可能如下所示：

class MyClass1 { ... }

class MyClass2 { ... }

template<typename T1,T2>
concept MyConcept = requires(T1 t1,T2 t2) { ... }

static_assert( satisfies<MyConcept,MyClass1,MyClass2>() )

这样的 satisfies 函数是否存在，如果不存在：如何编写这样的 satisfies 函数？

一些动机

如果您将对象传递给某个库，其中某些概念的实现是可选的（例如，库接受可能位于或不位于边界的组件，并且仅对位于边界的对象执行某些计算），则 Ducktyping 可能还不够).

template <typename GeneralComponent>
void do_something_optionally(GeneralComponent component) {
  if constexpr ( satisfies<isBorder,GeneralComponent>() ) {
     do_border_calculation(component);
  } else {
     // don't do border calculation
  }
}

do_border_calculation(isBorder auto& parameter);

然后弄清楚为什么这个库不认为你满足某些概念会很烦人。如果出现可信的数据，甚至可能无法检测到。

解决方法

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

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

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

c++c++-concepts c++20 duck-typing static-typing