决定模板化类是包含2个变量还是仅包含1个变量

即使当所有的专业化 A 不是一个可行的选择,你可以专门化绝对需要的部分。 在这里,这两种情况之间的唯一区别是 T t 是否存在。

方法A-继承

template <typename T>
struct maybe {
  T t;
};

template <>
struct maybe<void> { };

template <typename T>
class A {
  struct B : maybe<T> {
    std::size_t sz;
  };
};

具有类型的基类 maybe<void> 不应将任何内容添加到的大小 B 因为空基类优化。

方法B- std::conditional_t

struct empty { };

template <typename T>
class A {
  struct B : maybe<T> {
    std::size_t sz;
    [[no_unique_address]] std::conditional_t<std::is_same_v<T, void>, empty, T> t;
  };
};

如果 t 属于类型 empty 然而,它会污染 B 可能不需要 empty t 成员

方法C-专业化 B

template <typename T>
class A {
  struct B {
    std::size_t sz;
    T t;
  };
};

template <>
struct A<void>::B {
    std::size_t sz;
};

这种方法不需要专门化所有 A. ,但所有 B . 在一个更大的例子中,它可能是最多余的,但它是最干净、最简单的。

你可以简单地专门化 A 对于 void :

template <typename T>
class A {
  struct B {
    size_t sz;
    T t;
  };
};

template <>
class A<void> {
  struct B {
    size_t sz;
  };
};

实例

A<int>::B b1;
b1.t // OK, t exists

A<void>::B b2;
b2.t // error, t does not exist