C++ 模板参数引用该模板中定义的类型

Question

我有一个模板:

template<typename T, typename U>
struct TemplateClass {
  class DefaultU {
    T foo;
    /* ... */
  };
  U bar;
  T& baz;
  /* ... */
};

我想要 U 的默认值成为TemplateClass<T>::DefaultU .

我可以服用DefaultU在TemplateClass之外, 并将其设为模板，但我认为它属于内部。

这可能吗？

我意识到我所问的含义，当完整写出来时，看起来像这样:

template<typename T>, typename U = TemplateClass<T, TemplateClass<T, TemplateClass<T, ...>::DefaultU>::DefaultU>::DefaultU>
TemplateClass {
  /* ... */
}

但也许有一个捷径或解决方法...比如使默认类型(例如 void )我可以检测并替换为 DefaultU根据需要。

Answer 1

Is [it] possible [to refer to a member typedef of a class template within the template parameter list of that template]?

没有。

maybe there's a short-cut or workaround for that... like making the default type something (eg., void)

如果 void 不是 U 可接受的类型(或者如果 void 是一个有效的 U 仅适用于 DefaultU 也是void)，那么你确实可以使用它作为默认值，而不是直接使用 U，你可以使用条件成员类型别名:

using u_type = typename std::conditional<std::is_void<U>::value, DefaultU, U>::type;

这允许您在类模板中定义 DefaultU。

您可以使用自定义的空“标签”类型作为默认值，而不是 void。这使得条件类型稍微复杂一些。