模板非类型模板参数？

Question

我正在尝试使用非类型模板参数，其类型是这样的模板实例：

template<size_t num> class BitValue { ... };
class Foo {
  // works
  template<template<size_t> class BitValue, size_t num>
  bool get(BitValue<num> && t) { ... }

  // fails
  template<typename T> bool
  template<Bitvalue<num> bit> bool get() { ... };
  template<template <size_t> Bitvalue bit> bool get() { ... };
  template<template <size_t> class Bitvalue bit> bool get() { ... };
  template<template <size_t> BitValue, size_t num, Bitvalue<num> bit> bool get() { ... };
};

您可能会说：为什么不使用foo.get(value)？ Foo 表示一种具有多位值和单个大值的位域。我希望 foo.get<...>() 用于位域的所有成员以保持一致性。

为什么不使用`foo.get'？ foo.get() 返回多位字段的值。 foo.get() 返回单位类型的原始值。但不幸的是，有些位被否定了。所以 foo.get() 应该返回 !foo.get()。

如果可以有一个模板非类型模板参数，有什么想法吗？如果是的话怎么办？

Answer 1

不可能有BitValue<size_t> 类型的非类型模板参数，因为允许的类型是[temp.param]：

非类型模板参数应具有以下类型之一（可选 cv 限定）：

(4.1) — 整数或枚举类型，
(4.2) — 指向对象的指针或指向函数的指针，
(4.3) — 对对象的左值引用或对函数的左值引用，
(4.4) — 指向成员的指针，
(4.5) — std::nullptr_t.

但您可以只在任何类型上进行模板化并委托给元函数：

template <typename T>
bool get() {
    size_t bit = bit_number<T>::value;
    ...
}

地点：

template <typename T> struct bit_number;
template <size_t N>
struct bit_number<BitValue<N>> : std::integral_constant<size_t, N> { };
// other specializations