通过继承模板模板参数访问静态数据？答案

【问题标题】：Accessing static data through inheritance of a template template parameter?通过继承模板模板参数访问静态数据？
【发布时间】：2018-11-01 16:20:15
【问题描述】：

template
<
    template <typename, typename>
        class storage_t,
    typename T,
    typename is_allocated
>
class Buffer : public storage_t<T, is_allocated> { ... };

template
<
    template <typename, typename>
        class storage_t,
    typename T = storage::UnknownType,
    typename is_allocated = std::false_type
>
class Example_Buffer
: public Buffer<storage_t, T, is_allocated> {
    constexpr Example_Buffer(
        typename storage_t<T, is_allocated>::iterator it) {}
};

Example_Buffer<...> 继承自 Buffer<...>。 Buffer<storage_t, T, is_allocated> 继承自 storage_t<T, is_allocated>。 storage_t<...> 包括 typedefs 和静态 constexpr 数据。有没有办法通过继承在Example_Buffer的构造函数中访问这些typedefs和static constexpr data？（通过继承，也就是不使用storage_t<T, is_allocated>？在同一个类中使用这种语法两次感觉有点奇怪。

如果我需要详细说明，请随时询问。

【问题讨论】：

标签： c++11 templates inheritance static policy-based-design

【解决方案1】：

只要成员在 storage_t 中是公共的，就可以被继承和访问。您可以使用injected class name 和/或注入的基类名称来访问这些依赖成员，

这里有几个选项..

#include <iostream>
#include <type_traits>
#include <typeinfo>

using namespace std;

template <typename A,typename B>
struct basic_storage
{
    using a_type = A;
    using b_type = B;
    static constexpr bool value = b_type::value;
};


template
<
    template <typename, typename>
        class storage_t,
    typename T,
    typename is_allocated
>
class Buffer : public storage_t<T, is_allocated> {

    public:
    using storage_type = storage_t<T, is_allocated>;
};

template
<
    template <typename, typename>
        class storage_t,
    typename T /*= storage::UnknownType*/,
    typename is_allocated = std::false_type
>
class Example_Buffer
: public Buffer<storage_t, T, is_allocated> {
    public:
    constexpr Example_Buffer(
        /*typename storage_t<T, is_allocated>::iterator it*/) {

            //using the members with the injected class name..
            using b_type = typename Example_Buffer::b_type;

            // or directly using injected class name..
            std::cout << typeid(typename Example_Buffer::a_type).name() << std::endl;
            std::cout << Example_Buffer::value << std::endl;

            // using storage_type defined in Buffer<...>
            using storage_type = typename Example_Buffer::storage_type;

            std::cout << typeid(typename storage_type::a_type).name() << std::endl;
            std::cout << storage_type::b_type::value << std::endl;
            std::cout << storage_type::value << std::endl;

        }
};


int main() {
    Example_Buffer<basic_storage,int,std::true_type>{};
    return 0;
}

Demo

如果您想知道为什么不能只在派生类中访问 then 而不在它们前面加上 Example_Buffer:: 基类名称，正如 this post 解释的那样，这是因为它们是依赖名称。

【讨论】：