從內部類型參數

Question

鑑於struct outer { struct inner { }; }演繹外類型，我想從具有內類型的參數推斷外類型：

template <typename T> 
void f(T t) { ... } 

f(outer::inner p) 
{ 
    // deduce typename 'outer' here 
} 

假設所有感興趣的outer具有內部命名inner。

Answer 1

作爲替代方案，您可以創建你手動送入性狀：

template <typename T> struct outer_type; 

template <> struct outer_type<outer::inner> { using type = outer; }; 
// ... other specialization for each outer::inner types 

然後：

template <typename T> 
void f(T t) 
{ 
    using outer = typename outer_type<T>::type; 
    // ... 
} 

Answer 2

不，對不起，模板參數扣除將無法爲您做到這一點。

您應該在inner中包含一個到outer類型的typedef。

struct outer { 
    struct inner { 
     using OuterType = outer; 
    }; 
}; 

template <typename inner> 
void f(inner x) { 
    typedef typename inner::OuterType outer; 
    // ... 
}