尝试从模板类型列表中删除相邻重复项时出现编译错误

问题描述

我想要达到的结果是：

removeduplicates<TMPArray<8,8,9,10,11,11>>::type与TMPArray<8,11>

具有相同的类型

到目前为止，我的解决方案如下：


template<int... I>
struct TMPArray {};

template <typename Arr1,typename Arr2>
struct concat;

template <int Ts,int... Us>
struct concat<TMPArray<Ts>,TMPArray<Us...>>
{
    using type = TMPArray<Ts,Us...>; 
};

template <int... Ts,int... Us>
struct concat<TMPArray<Ts...>,TMPArray<Us...>>
{
    using type = TMPArray<Ts...,Us...>;
};

template<typename TMPArray>
struct removeduplicates;

template<bool isSame,typename TMPArray>
struct makeremoveduplicates;

template<int Head,int Sec,int... Tail>
struct removeduplicates<TMPArray<Head,Sec,Tail...>> {
    using type = makeremoveduplicates<Head == Sec,TMPArray<Head,Tail...>>;
};

template<int Head,int Third,int... Tail>
struct makeremoveduplicates<false,Third,Tail...>> {
    using type = concat<TMPArray<Head>,makeremoveduplicates<Sec == Third,TMPArray<Sec,Tail... >>::type>::type;
};

template<int Head,int... Tail>
struct makeremoveduplicates<true,Tail...>> {
    using type = makeremoveduplicates<Sec == Third,Tail... >>::type;
};

template<int Head,int Sec>
struct makeremoveduplicates<true,Sec>> {
    using type = TMPArray<Head>;
};
 
template<int Head,int Sec>
struct makeremoveduplicates<false,Sec>> {
    using type = TMPArray<Head,Sec>;
};

此解决方案背后的想法是，我正在使用助手makeremoveduplicates比较前两个元素，并在它们匹配或不匹配时调用专用模板。这将使用concat元函数递归地附加结果。

我遇到一个编译错误，指出：

Error   C2923   'concat': 'makeremoveduplicates<Sec==Third,Tail...>>::type' is not a valid template type argument for parameter 'Arr2'

根据基本情况，我希望makeremoveduplicates类型的值可以计算为TMPArray：

template<int Head,int Sec>
struct makeremoveduplicates<true/false,Sec>>

和concat的结果：

template <int Ts,Us...>; 
};

为什么这不是有效类型？

解决方法

我看到的问题是，在代码的三点中，您必须添加一个typename来表示遵循的编译器是typename。

我希望this answer可以解释原因。

您必须在此处添加两个typename

template<int Head,int Sec,int Third,int... Tail>
struct makeremoveduplicates<false,TMPArray<Head,Sec,Third,Tail...>> {
    // ..........VVVVVVVV........................VVVVVVVV
    using type = typename concat<TMPArray<Head>,typename makeremoveduplicates<Sec == Third,TMPArray<Sec,Tail... >>::type>::type;
};

还有一个在这里

template<int Head,int... Tail>
struct makeremoveduplicates<true,Tail...>> {
    // ..........VVVVVVVV
    using type = typename makeremoveduplicates<Sec == Third,Tail... >>::type;
};

c++template-meta-programming templates