Clang默认报unusable-partial-specialization错误，哪种编译器行为正确？

问题核心 #

你编写的pop_back类模板偏特化存在模板参数推导的合规性问题：

在C++标准中，当类模板偏特化的模板参数列表里，模板参数包（vals...）后面紧跟着另一个非包模板参数（val）时，该参数包属于非推导上下文。编译器无法从int_seq<vals..., val>的实例中明确拆分出vals和val的具体值——比如对于int_seq<1,2,3>，编译器没有规则能确定vals是1,2而val是3，还是其他拆分方式。因此这个偏特化实际上永远无法被匹配和使用，属于无效的模板定义。

编译器行为判定 #

• Clang的行为符合C++标准：它通过-Wunusable-partial-specialization错误提示该偏特化不可用，这是标准要求的正确诊断。
• GCC和MSVC的行为不符合标准：它们错误地允许了这种无效偏特化的编译，属于编译器的非标准扩展行为。

合规的实现方案 #

要实现pop_back的功能，需要换一种符合标准的写法，比如递归模板方式：

#include <type_traits>
#include <utility>

template <int... vals>
struct int_seq {};

template <typename>
struct pop_back;

// 空序列的偏特化（可选，处理边界情况）
template <>
struct pop_back<int_seq<>> {};

// 单元素序列的终止偏特化
template <int Val>
struct pop_back<int_seq<Val>> 
    : std::enable_if<true, std::pair<std::integral_constant<int, Val>, int_seq<>>> {};

// 多元素序列的递归偏特化
template <int First, int... Rest>
struct pop_back<int_seq<First, Rest...>> {
    using back_pair = typename pop_back<int_seq<Rest...>>::type;
    using type = std::pair<
        typename back_pair::first_type,
        int_seq<First, typename back_pair::second_type::value_type...>
    >;
};

或者借助std::index_sequence实现更简洁的版本：

#include <type_traits>
#include <utility>
#include <tuple>

template <int... vals>
struct int_seq {};

namespace detail {
    template <typename Seq, typename Indices>
    struct pop_back_impl;

    template <int... Vals, std::size_t... Idx>
    struct pop_back_impl<int_seq<Vals...>, std::index_sequence<Idx...>> {
        using front_seq = int_seq<std::get<Idx>(std::make_tuple(Vals...))...>;
        static constexpr int back_val = std::get<sizeof...(Vals)-1>(std::make_tuple(Vals...));
        using type = std::pair<std::integral_constant<int, back_val>, front_seq>;
    };
}

template <typename Seq>
struct pop_back;

template <int... Vals>
struct pop_back<int_seq<Vals...>> 
    : detail::pop_back_impl<int_seq<Vals...>, std::make_index_sequence<sizeof...(Vals)-1>> {};

内容的提问来源于stack exchange，提问作者Timothy Liu