重复模板参数的快捷方式

Question

假设我有一堂课：

template <typename A, typename B, typename C>
class Foo {
};

其中通常A 和B 是同一类型，但我想保留单独定义B 的选项。我想定义一个额外的模板，比如说，

template <typename A, typename C>
class Foo {
};

这只是Foo<A, A, C> 的包装。这是常见的做法吗？如果是这样，最简单的方法是什么？

Answer 1

不是唯一的解决方案，但如果可行，它是最简单的：更改B 和C 的顺序并为B 提供默认值：

#include <type_traits>

template <typename A, typename C, typename B = A>
class Foo {
};


int main(){
    using Foo1 = Foo<int,double,int>;
    using Foo2 = Foo<int,double>;
    static_assert( std::is_same<Foo1, Foo2>::value);
}

Answer 2

我这样理解你的问题（根据评论，问题由两个问题组成，都得到了单独的回答）：如果 A 和 B 代表相同的类型，请使用模板的替代版本。

所以看起来你实际上正在尝试做的是partial template specialization。

例子：

template <typename A, typename B, typename C>
class Foo {
public:
    using type = B;
};

template <typename A, typename C>
class Foo<A, A, C> {
public:
    using type = C;
};

简单演示：https://godbolt.org/z/KPz4jj