简化模板接口，删除冗余类型

Question

#include <cstddef>
#include <utility>

template <size_t N, typename... V>
struct T {
    int test(size_t n, const char** ss) {
        if (N > n)
            return 1;
        return []<size_t... I>(const char* ss[N], std::index_sequence<I...>) {
            return test_impl(ss[I]...);
        }(ss, std::make_index_sequence<N>{});
    }

    // Ideally this would be templated, solving my problem:
    // i.e. move "typename... V" from the struct to this function.
    virtual int test_impl(V...) = 0;
};

template <typename U, size_t N, typename... V>
struct T1 : T<N, V...> {
    U value;
    int (*tester)(U*, V...);

    int test_impl(V... v) {
        return tester(&value, v...);
    }

    // virtual is not an aggregate
    T1(U value, int (*tester)(U*, V...))
        : value{value}, tester{tester}
        {};
};

int test1(int* v, const char* s1, const char* s2) {
    return 1;
}

template <typename... V>
int test2(int* v, V... ss) {
    return 1;
}

C ++非常擅长从函数参数推导模板功能参数，但是不允许虚拟函数模板。我被迫将函数模板参数移至结构模板，并发现C ++不擅长从成员变量推导模板结构参数。最后，我被迫将冗余信息指定为模板，该信息使t1/t接口难以使用？我该如何解决？

例如，在这里我们知道：

• sizeof ...（v）== n
• exttype（v）必须是const char*
• template参数u可以仅从t1构造
• 函数模板参数v ...的参数中得出。 > t1 构造器
• 遵循该模板参数n可以仅从t1构造函数的参数中得出。

int main() {
    // The '2' and the 'const char*'... are redundant
    T1 a = T1<int, 2, const char*, const char*>(10, test1);
    T1 b = T1<int, 2, const char*, const char*>(10, test2);

    // There is enough information here to deduce the values
    T1 c = T1(10, test1);

    // There is enough information here to deduce the values
    T1 d = T1<..., 2, ...>(10, test2);
}

Answer 1

sizeof ...（v）== n

no，编译器不知道。 （查看错误消息），

由于您有此先决条件，因此您不必拥有模板参数n。

template <typename... V>
struct T {
    
    int test(size_t n, const char** ss) {
        constexpr int N = sizeof...(V);
        if (N > n)
            return 1;
        return []<size_t... I>(const char* ss[N], std::index_sequence<I...>) {
            return test_impl(ss[I]...);
        }(ss, std::make_index_sequence<N>{});
    }

    // Ideally this would be templated, solving my problem:
    // i.e. move "typename... V" from the struct to this function.
    virtual int test_impl(V...) = 0;
};

参见在线演示