我应该如何有条件地启用构造函数？

Question

我正在尝试实现这样的目标：

template<typename Bar>
class foo
{
public:
    template<class = std::enable_if_t<std::is_constructible<Bar, int>::value>>
    foo(int x)
        : m_bar(x)
    { }

private:
    Bar m_bar;
};

这会产生行为

foo<int> a; // no error
foo<int> b(0); // no error
foo<std::string> c; // no error
foo<std::string> d(0); // error: none of the 3 overloads could convert all the argument types

正如预期的那样。这个解决方案有什么缺点吗？我不喜欢的是，无论哪种情况，foo::foo(int) 都存在。我知道我可以在foo本身的模板参数列表中使用enable_if，并专门针对这两种情况使用foo，但我不想重复通用代码。

那么，这是最好的（或至少是明智的）选择吗？

Answer 1

这个方案有什么缺点吗？

目前，替换发生在直接上下文之外，因此，一旦您尝试使用无法用 int 构造的类型实例化 foo，您的方法就会 cause a hard compilation error。

要引入直接上下文，您需要一个虚拟参数：

template <typename T = Bar
//                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~v
        , typename = std::enable_if_t<std::is_constructible<T, int>::value>>
foo(int x)
    : m_bar(x)
{ }

DEMO