定制模板坍塌参数空间

Question

有没有一种方法来定义一个类型Box<T>意味着Box<T,T>（各类T）如果Box<Tx,Ty>已经是一个定义的类型（各类Tx，Ty）？

Answer 1

你可以给第二个模板参数Box默认参数：

template <typename T, typename U=T> 
class Box { 
}; 

现在你可以写Box<T>为Box<T,T>，但你仍然可以选择写Box<T,U>如果类型不同。