推導參數包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 
{ };