主页 / user-1021959

Bernard's questions

Martin Hope
Bernard
Asked: 2024-11-11 22:28:07 +0800 CST
  • 10

在 C++20 中，概念包含是指一个概念是另一个概念的超集。例如，在以下示例中，Fooable包含BetterFooable：

template <typename T>
concept Fooable = requires(T& t) {
    t.foo();
};

template <typename T>
concept BetterFooable = Fooable<T> && requires(T& t, int x) {
    t.foo(x);
};

编译器能够看到BetterFooable定义为Fooable 和其他东西，因此，任何满足的类型BetterFooable也必须满足Fooable。

这使得我们可以部分专门化模板类：

template <Fooable T1>
struct MyStruct1 {};
template <BetterFooable T1>
struct MyStruct1<T1> {};

但是，具有模板参数包的类的特化似乎在 GCC 和 Clang 中都是不可接受的，但在 MSVC 中是可以接受的（godbolt 链接）：

template <Fooable... Ts>
struct MyStruct2 {};

template <BetterFooable... Ts>
struct MyStruct2<Ts...> {};

GCC 产生的错误如下，Clang 产生的错误非常相似：

<source>:15:8: error: partial specialization 'struct MyStruct2<Ts ...>' does not specialize any template arguments and is not more constrained than the primary template; to define the primary template, remove the template argument list
   15 | struct MyStruct2<Ts...> {};
      |        ^~~~~~~~~~~~~~~~
<source>:12:8: note: primary template here
   12 | struct MyStruct2 {};
      |        ^~~~~~~~~

GCC 和 Clang 是否正确地拒绝了该代码，并且还有其他方法可以在模板参数包中表达概念包含吗？

c++
Martin Hope
Bernard
Asked: 2024-11-09 23:34:41 +0800 CST
  • 7

我有一个std::variant可能重复的类型，我想增加变体的活动索引。

这是一个演示我想要做的事情的例子：

template <typename... Ts>
bool update_variant(std::variant<Ts>& v, std::tuple<work_generator<Ts>>& gen) {
    return visit_with_index([&]<size_t Index /* the active index */>(auto& e) {
        if (e.done()) {
            // we are done with e
            constexpr size_t next_index = Index + 1;
            if constexpr (next_index == sizeof...(Ts)) {
                // no more other work to do
                return false;
            } else {
                // still have other work to do so we move on to the next variant alternative
                v.emplace(
                        std::in_place_index_t<next_index>{},
                        std::get<next_index>(gen).create_worker()
                    );
                return true;
            }
        } else {
            // do some work on e, so e gets closer to the done state
            e.do_some_work();
            return true;
        }
    }, v);
}

为了实现这一点，我似乎需要类似于visit_with_index上面的东西，它给我当前索引作为编译时值。

除了编写我自己的visit_with_index上述版本（实际上是编写我自己的版本）之外std::visit，有没有更简单的方法来实现我想要的，而无需通过索引执行多次查找？

c++