防止未使用的默认函数参数的实例化

Question

假设我有一个函数，它接受函数指针作为参数，并且该参数有一个默认参数。

template <typename T>
T* default_construct()
{
    return new T();
}

template <typename T>
void register(T* (*construct)() = default_construct<T>)
{
    // Save that function pointer for later
}

假设我想在我的类 Foo 上使用 register，但是 Foo 没有默认构造函数，所以我的 default_construct 将无法工作在它上面。显而易见的解决方案是做这样的事情：

Foo* construct_Foo()
{
    return new Foo("String argument", 123);
}

SomeFunc()
{
    // ...
    register<Foo>(construct_Foo);
    // ...
}

但这不起作用。即使 register 只能在一个地方调用，并且它传递了一个要使用的函数，default_construct 仍然会被编译器实例化，我得到编译器错误。似乎因为它从未被使用过，所以应该跳过它，但我想事实并非如此。

有什么方法可以防止 default_construct 在用作默认参数时被实例化？我能想到的唯一解决方案是将其放入模板中，但似乎应该有更好的解决方案。

Answer 1

这是解决该问题的一种解决方案，因为它不使用默认参数：

template <typename T>
T* default_construct()
{
    return new T();
}

template <typename T>
void register(T* (*construct)())
{
    // Save that function pointer for later
}

template<typename T>
void register()
{
    register<T>(default_construct<T>);
}

请注意，register 是一个 C++ 关键字:)