具有用户定义类型的自动非类型模板参数

那个例子是错误的。这在C++ 17中不起作用。 Non-type template parameters 必须是以下之一:

• std::nullptr_t
• 积分型
• 左值引用类型(到对象或函数)
• 指针类型(指向对象或函数)
• 指向成员类型(指向成员对象或成员函数)的指针
• 枚举类型

任意类类型不在此列表中。

请注意,可以使用枚举作为标记类型:

template<auto... Dims>
struct dimensions {};

enum class dynamic_extent {};
constexpr dynamic_extent dyn = {};

dimensions<64, dyn, 32> d;

是的,他的例子是错误的。

非类型模板参数不能具有类类型,直到 P0732 ,这是一个C++ 20的特性。即使在C++ 20中, 仍然 因为为了选择使用 dyn 作为非类型模板参数,您需要:

struct dynamic_extent {
    auto operator<=>(dynamic_extent ) = default;
};

在那一点上,它会起作用的。

我想他的意思是:

dimensions<64, &dyn, 32> d;
//             ^^^^

传递指针是很好的——指针在C++ 17中是可接受的非类型模板参数(并且更早),只要它们满足一些其他的要求 戴恩 做。