使用 require 子句仅有条件地存在成员变量

Question

我希望使 dat 中 member 的存在依赖于 B （或其他一些概念）。

template <bool B>
struct dat {
    void member_func() requires (B) {} //ok
    std::byte member requires (B); //err
};

我知道这可能与专业化有关，但据我所知，如果需要多个不同的成员要求，那会变得非常难看。

如果没有专业化，这种行为是否可能？

Answer 1

有几种方法可以实现此目的（请参阅条件成员）。

一种是使用条件来更改 member 的类型：

struct E { };
[[no_unique_address]] std::conditional_t<B, std::byte, E> member;

这并不是真正的条件成员变量，member 始终存在。但有时它是您关心的类型，有时它是不占用空间的空类型。这可能已经足够好了 - 如果您实际上不需要访问该事物，并且没有代码依赖于该成员的存在。

如果这不起作用，那么你就必须求助于不同类型的专业化。但您不必专门化所有 dat，只需有条件地提供此成员的基类即可：

template <bool B>
struct maybe_member {
   std::byte member;
};

template <>
struct maybe_member<false> { };

template <bool B>
struct dat : maybe_member<B> {
    void member_func() requires (B) {} //ok
};

这里，dat 有一个名为 member 的成员 但 dat 没有数据成员。这对于像 iterator_category (正如我提到的）。

---

两者都不是很好的解决方案，但两者都绝对胜过仅仅为了以成员变量为条件而专门化整个类。如果需要多个不同的、独立的条件变量，则两者都会缩放。