在类模板实例化中显式使用某些参数的默认值

一个类模板可以有多个参数，这些参数都有默认值。

template<typename UnderlyingT0 = int, typename UnderlyingtT1 = long, typename StringT = std::string>
struct options;

仅使用默认参数实例化模板很容易：

options<> my_default_options;

但是如果我想更改一部分参数怎么办？

options<int, int, std::wstring> wstring_options;

不明显的是int是第一个参数的默认值，而第二个参数则不是。有没有类似的东西

options<default, int, std::wstring> wstring_options;

in C++?

不，标准 C++ 中没有任何内容可以实现这一点。 @FlorisVelleman 在评论中指出的一种选择是引入别名模板：

template <class UnderlyingT1, class StringT = std::string>
using options_defT0 = options<int, UnderlyingT1, StringT>;

这样做的缺点是必须显式复制默认参数UnderlyingT0在别名定义中，但至少它仅在一处重复。

许多 Boost 库都使用替代选项。他们引入了一个特殊的标签use_default和做that默认值。像这样的事情：

struct use_default {};

template<typename UnderlyingT0 = use_default, typename UnderlyingtT1 = use_default, typename StringT = use_default>
struct options
{
  using RealUnderlyingT0 = typename std::conditional<
    std::is_same<UnderlyingT0, use_default>::value,
    int,
    UnderlyingT0
  >::type;

  using RealUnderlyingT1 = typename std::conditional<
    std::is_same<UnderlyingT1, use_default>::value,
    long,
    UnderlyingT1
  >::type;

  using RealStringT = typename std::conditional<
    std::is_same<StringT, use_default>::value,
    std::string,
    StringT
  >::type;
};

这里的缺点是 1. 你无法通过查看模板声明来判断默认参数，2.options<> and options<int, long, std::string>是不同的类型。

前者可以通过良好的文档来解决，而后者可以通过明智地使用转换函数和基类来帮助。