知道其参数位置的 C++ 模板

Question

我是 C++ 元编程的新手，几天前我决定编写一个带有可变参数包的模板，它知道参数包中的哪个位置最先 int .更准确地说，我想要一个 struct名称 GetIntPos 和 static constexpr int value表示int的位置在以 1 开头的参数包中，如果没有 int 则为 0参数包中的参数类型。例如

cout<<GetIntPos<long, char, int, long>::value; // must print 3
cout<<GetIntPos<int, int, long>::value; // must print 1

和

cout<<GetIntPos<long, long, char>::value; // must print 0;

如何实现？

Answer 1

这似乎在我的测试中有效:

namespace detail {
    template <int INDEX>
    constexpr int GetIntPosImpl() {
        return 0;
    }

    template <int INDEX, typename T, typename ...Ts>
    constexpr int GetIntPosImpl() {
        if constexpr(std::is_same_v<T, int>) {
            return INDEX;
        }
        else {
            return GetIntPosImpl<INDEX + 1, Ts...>();
        }
    };
}

template <typename ...Ts>
struct GetIntPos {
    static constexpr int value = detail::GetIntPosImpl<1, Ts...>();
};

int main() {
    std::cout << GetIntPos<short, long, char>::value << '\n';
    std::cout << GetIntPos<int, short, long, char>::value << '\n';
    std::cout << GetIntPos<short, long, char, int>::value << '\n';
    return 0;
}

我的输出:

0
1
4