c++ - 使用 `void` 专门化模板的规则是什么？

Question

这是我刚才在野外写的内容的精简说明。我真的没想到它会起作用，但它确实起作用了。

#include <array>

template <typename T> using Foo = std::array<T,123>;

const int FOO_SIZE = std::tuple_size<Foo<void>>::value;

我不确定使用 void 来专门化 Foo 是否可以编译，但至少在这种情况下可以编译。

我不确定这个解决方案是可移植的，或者它是否只是侥幸，因为 std::array 的实现 碰巧 与概念兼容空数组，对我来说这听起来像是胡说八道。

我什么时候可以，什么时候不能，使用 void 来特化一个模板？

Answer 1

如果不复制标准的一半 (:D)，我找不到一套真正令人信服的特定标准措辞，但我相信这是明确定义的。

array构造函数需要 T是 MoveConstructible 或 MoveAssignable，您将无法实例化 std::array<void, N> .

但这很好，因为 std::tuple_size不需要这样做，也没有指定需要这样做，也没有任何其他特定要求会使您的代码出现问题。

但是，这看起来不像是有用的代码，并且没有通用规则来处理 void 的情况。可以用作模板参数。您必须在您使用它的特定上下文中查看您正在使用的特定事物的要求。