结构成员的概念检查

Question

检查特定结构成员是否验证给定概念的简单、惯用的方法是什么？

我尝试了以下但它不起作用，因为 { T::f } 产生类型 float&:

#include <concepts>
struct foo {
    float f;
};

// ok
static_assert(std::floating_point<decltype(foo::f)>);


template<typename T>
concept has_fp_member = requires (T t) {
  { T::f } -> std::floating_point;
};

// fails
static_assert(has_fp_member<foo>);

我在哪里可以“删除”在 { T::f } 上添加的无用引用？在不使代码变得超级丑陋、不添加新概念等的情况下...我的主要要求是保持可读性！

例如

template<typename T>
concept has_fp_member = std::floating_point<decltype(T::f)>;

非常差，因为我的实际概念会检查大量属性，我不想std::foo<decltype(T::a)> && std::bar<decltype(T::b)> && ...

乱七八糟

请注意，我使用 float 作为示例，但我的问题是关于任何类型/概念的通用解决方案。

Answer 1

这是部分解决方案，但我想找到更好的解决方案（灵感来自已删除的这个问题的答案）

auto prvalue(auto&& arg) { return arg; }

template<typename T>
concept has_fp_member = requires (T t) {
  { prvalue(T::f) } -> std::floating_point;
};

static_assert(has_fp_member<foo>);

它只支持成员可复制构造的情况。

Answer 2

您可能想要使用宏：

#include <concepts>
#include <type_traits>

template <class T>
std::decay_t<T> decay_copy(T&&);

#define CHECK_MEMBER(name, type) \
{ decay_copy(t.name) } -> type

template<typename T>
concept has_member_variables = requires (T t) {
  CHECK_MEMBER(f, std::floating_point);
  CHECK_MEMBER(i, std::integral);
};

Demo.

结构成员的概念检查

Concept checking on struct members

c++

c++20

c++-concepts