暴露最直接的基类模板名称

Question

考虑以下代码：

template <class...> struct base {};
template <class... T> struct intermediate: base<void, T...> {};
template <class... T> struct derived: base<T...>, intermediate<T...> {};

using type1 = derived<int>::intermediate::base; // works
using type2 = derived<int>::base; // ambiguous

有没有办法让它工作起来没有歧义，这样derived<int>::base 就意味着层次结构中最“直接”的基类（在这个例子中是base<int>）。欢迎使用模板元编程。

Answer 1

如果合适，您可以在derived 中添加别名，以便您可以从外部使用它们：

template <class... Ts> struct derived: base<Ts...>, intermediate<Ts...>
{
    using DirectBase = base<Ts...>;
    using IndirectBase = typename intermediate<Ts...>::base;
};

然后

using type1 = derived<int>::IndirectBase ;
using type2 = derived<int>::DirectBase ;

我没有办法消除歧义。

proposal for std::bases std::direct_bases 可能会有所帮助，但被拒绝了。