如何以constexpr方式调用具有元组输入的模板静态类方法

Question

How can a static constexpr class::method (int i1, int i2, int i3) be invoked, having input data available as tuple in一种constexpr方式。

默认方法使用 std :: apply 将每个元组应用于参数到一个函数。

一个可视化的最小示例，我尝试实现的样子是：

struct a {
    template <typename T>
    static constexpr void test(int i1, int i2, int i3) {
        // ...
    }
};

struct b : a {};
struct c {};

template <typename T>
struct test_functor {
    constexpr test_functor_t() {} // just for testing to express constexpr desire
    constexpr void operator()(auto... args) {
        T::test<c>(args...);
    }
};

constexpr std::tuple<int, int, int> tupl{ 1,2,3 };
constexpr test_functor<b> f;
std::apply(f, tupl);

这在运行时起作用，但无法编译constexpr。如何实施？

Answer 1

工作test_functor：

template <typename T>
struct test_functor {
    constexpr void operator()(auto... args) const {
        T::template test<c>(args...);
    }
};

问题：

1. 您的构造函数被错误命名，最终是不必要的 - 没有构造函数，您的类型是汇总的，可以constexpr - 构造很好。
2. 您的operator（）不是const - 主要问题，因为您无法在constexpr上调用非 - const成员对象。
3. 缺少template调用t :: test - 请参阅此FAQ答案可以很好地解释依赖名称。

在线demo