时间戳

首页 > 解决方案 > 使用模板模板参数专门化基类

c++ - 使用模板模板参数专门化基类

问题描述

我猛烈抨击以下代码：

template<class... Ts> struct typelist{};

template<class S> struct Fun;

template<template<class...> class S, class... Ts>
struct Fun<S<Ts...>> {
    std::tuple<Ts...> _fun;
};

template<class S, class P> struct Gun;

template<template<class...> class S, class... Ts, class P>
struct Gun<S<Ts...>, P>: Fun<S<Ts...>>{
    auto hun(){
        std::cout << std::get<0>(_fun); // error: use of undeclared identifier '_fun'
    }
};

auto main(int /*argc*/, char* /*argv*/[])-> int {
    auto gun = Gun<typelist<int>, float>{};
    gun.hun();
    return 0;
}

我不明白这里发生了什么以及为什么会出现该错误。一定有什么明显的我没看到...

标签： c++templatesinheritancevariadic-templates

解决方案

请注意，基类依赖于模板参数，并且_fun是一个非依赖名称，不会在依赖的基类中查找。

您可以使名称_fun依赖，然后在实例化时查找它；那时，确切的基础专业化是已知的。

例如

std::cout << std::get<0>(this->_fun);
//                       ~~~~~~
std::cout << std::get<0>(Fun<S<Ts...>>::_fun);
//                       ~~~~~~~~~~~~~~~

推荐阅读