需要默认参数值的模板函数的首选设计是什么？

Question

我目前正在清理一个充满函数模板的 API，并强烈希望编写以下代码。

template <typename T, typename U, typename V>
void doWork(const T& arg1, const U& arg2, V* optionalArg = 0);

当我调用这个模板时，我想按如下方式执行。

std::string text("hello");
doWork(100, 20.0, &text);
doWork('a', text);         // oops!
doWork<char, std::string, void>('a', text);  // to verbose!

不幸的是，第二次调用无法编译，因为编译器无法推断可选参数的类型。这是不幸的，因为我真的不关心参数类型是什么，而是关心它的值为 NULL。另外，我想避免第三次调用的路线，因为它会妨碍可读性。

这导致我尝试使模板参数 V 具有默认类型，这也不起作用，因为您无法将默认类型应用于函数模板参数（至少使用 VC++ 9.0）。

template <typename T, typename U, typename V = void>  // oops!
void doWork(const T& arg1, const U& arg2, V* optionalArg = 0);

我唯一剩下的选择是引入一个对模板参数 V 一无所知的 doWork 重载。

template <typename T, typename U>
void doWork(const T& arg1, const U& arg2)
{
    doWork(arg1, arg2, 0);
}

template <typename T, typename U, typename V>
void doWork(const T& arg1, const U& arg2, V* optionalArg);

这是解决这个问题的最佳方法吗？我看到的唯一缺点是，如果函数模板包含许多具有合适默认值的参数，我可能会引入许多琐碎的转发函数。

Answer 1

我认为您的转发功能是一个非常合适的解决方案，尽管在您的解决方案中，您不需要显式指定模板参数吗？ （0 是一个整数常量，可以转换为任何 V* 类型。）还有 doWord 与 doWork？

作为一般规则，尽量避免使用没有很强回报的可选参数。

强制函数的客户端在适当的情况下仅添加 , (void*)0 可能比添加更多额外机制来支持两个参数和一个参数更容易。模板的三个参数版本。但这取决于预期用途。

Answer 2

从客户端代码的角度来看，如果它没有第三个参数，为什么需要发明一个呢？

因此，如果您的目标是可用性和可读性，我同意您的包装方法：它非常有意义，并且您编写的包装器负责第三个参数您的合理值> 必要的。

最重要的是，如果需要的话，它可以为不同的专业化使用不同的默认值。

Answer 3

一种可能性是重新排序模板参数，因此可选参数排在第一位。

template <typename V, typename T, typename U>
void doWork(const T& arg1, const U& arg2, V* optionalArg = 0);

doWork<void>('a', text); 

转发看起来也不错。

但默认参数和模板似乎不太匹配。