INT = 0的模板专业化

Question

我想实现自己的STD ::元组，而无需查看官方实现，但我会遇到C2768错误（Visual Studio）。

我读过的编译器不知道这是模板专业化还是函数的全新定义，但我不知道它将如何认为这是一个新功能

#include <iostream>

template<class T, class... Ts>
struct _tuple_node {
    T value;
    _tuple_node<Ts...> next;

    constexpr _tuple_node(T value, Ts... rest) : value(value), next(rest...) {
    }
};

template<class T>
struct _tuple_node<T> {
    T value;
    
    constexpr _tuple_node(T value) : value(value) {
    }
};

template<class... Ts> 
struct tuple {
    _tuple_node<Ts...> first;

    constexpr tuple(Ts... args) : first(args...) {
    }
};

template<int i, class T, class... Ts>
auto _get_t(_tuple_node<T, Ts...>& t) {
    return _get_t<i - 1, Ts...>(t.next);
}

template<class T, class... Ts>
auto _get_t<0, T, Ts...>(_tuple_node<T, Ts...>& t) {  //here
    return t.value;
}

template<int i, class T>
auto _get_t(_tuple_node<T>& t) {
    return t.value;
}

template<int i, class... Ts>
auto get(tuple<Ts...>& t) {
    return _get_t<i>(t.first);
}


int main() {
    tuple foo(1, std::string("test"));

    std::cout << get<0>(foo);
}