在模板类型之间转换？

Question

我有一个 class 模板

template <typename T=std::nullptr_t>
class Foo{

Foo(T&){};

};

不幸的是，当T为void时，这会失败。 std::nullptr_t在这里可以达到完全相同的目的，我更希望它是T 。

有没有办法指定所有Foo<void>应该是Foo<std::nullptr_t> ？

Answer 1

如果您希望Foo<void>实际上与Foo<std::nullptr_t>相同，则需要将Foo设为别名模板：

template <typename T>
class FooImpl {
    FooImpl(T&);
};

template <typename T=std::nullptr_t>
using Foo = FooImpl<std::conditional_t<std::is_void_v<T>, std::nullptr_t, T>>;

如果您不想使用别名，您仍然可以使Foo<void>具有与Foo<std::nullptr_t>相同的构造函数签名。 尽管如此，它们将是两种不同的类型：

template <typename T=std::nullptr_t>
class Foo{
    using reference = std::conditional_t<std::is_void_v<T>, std::nullptr_t, T>&;
    Foo(reference);
};