推导参数包w/out显式传递它作为模板参数吗？

Question

请原谅对C++类型演绎的无知，但我希望能够在参数包的定义中携带，以便稍后我可以测试内部类型。这可能吗？例如：

template <typename... Args> struct Entity { 

    struct Inner { 
     typedef Args... entity_args_t; 
    }; 

    struct SomeOtherInner { 
     typedef Args... entity_args_t; 
    }; 
}; 

struct ThingA : Entity<int, string> { 
}; 

struct ThingB : Entity<string, string> { 
}; 

//Want to accept variations of Entity<...>::Inner, 
//not Entity<...>::SomeOtherInner 
template<typename I> 
struct is_Entity_Inner { 
    static const bool value 
     = is_same< 
      typename Entity<typename I::entity_args_t...>::Inner 
      , I 
     >::value 
    ; 
}; 

Oui？非？

Answer 1

定义：

template<typename ...> struct types; 

然后：

template <typename... Args> struct Entity { 

    struct Inner { 
     typedef types<Args...> entity_args_t; 
    }; 

    struct SomeOtherInner { 
     typedef types<Args...> entity_args_t; 
    }; 
}; 

那么你可以传递entity_args_t到有types<T...>一个局部特殊化的模板。如果你的typedef的Entity，可以改为写Entity<T...>部分特殊化，这可能是更明智的你的情况

template <typename... Args> struct Entity { 

    struct Inner { 
     // Equivalent: typedef Entity entity_args_t; 
     typedef Entity<Args...> entity_args_t; 
    }; 

    struct SomeOtherInner { 
     typedef Entity<Args...> entity_args_t; 
    }; 
}; 

所以具有entity_args_t等于Entity<Args...>一个typedef，你可以这样写如下（未经测试，但应工作）：

template<typename ProbablyInner, typename ProbablyEntity> 
struct is_inner_impl : std::false_type 
{ }; 

template<typename ProbablyInner, typename ...Args> 
struct is_inner_impl<ProbablyInner, Entity<Args...>> 
    : std::is_same< 
     typename Entity<Args...>::Inner 
     ProbablyInner> 
{ }; 

template<typename ProbablyInner, typename = std::true_type> 
struct is_inner : std::false_type 
{ }; 

template<typename ProbablyInner> 
struct is_inner<ProbablyInner, 
    std::integral_constant<bool, is_inner_impl< 
    ProbablyInner, 
    typename ProbablyInner::entity_args_t>::value>> 
    : std::true_type 
{ };