C++：部分專業模板的類型參數作爲另一個模板類的成員類型

Question

我有一個模板結構SFoo包含的成員結構SZug：

template <typename tTYPE> 
struct SFoo 
    { 
    struct SZug {}; 
    }; 

我有另一種結構SBar，需要一個類型參數：

template <typename tTYPE> 
struct SBar 
    { /* stuff */ }; 

我想使用SZug爲類型參數專門SBar，像這樣：

個

template <typename tTYPE> 
struct SBar<typename SFoo<tTYPE>::SZug> 
    { /* different stuff */ }; 

這不會編譯 - LLVM輸出：

非抵扣模板參數「TTYPE」

雖然編譯器可以很容易地推斷出這一點，如果它願意，我猜這是隻是C++規範需要專門涵蓋這種情況。

有什麼辦法可以達到這個目的嗎？
（注：我目前工作圍繞它通過移動SZug外SFoo和使用using聲明，但它的醜陋）

Answer 1

我不知道我完全理解你想做的事，但你可以嘗試以下的（只需要添加特定的屬性SZug：

template <typename tTYPE> 
struct SFoo { 
    struct SZug { 
     // Add this to be able to obtain SFoo<T> from SFoo<T>::SZug 
     using type = tTYPE; 
    }; 
}; 

再小的模板來檢查，如果一個類型是SFoo<T>::SZug：

template <typename tTYPE, typename Enabler = void> 
struct is_SZug: public std::false_type { }; 

template <typename tTYPE> 
struct is_SZug<tTYPE, typename std::enable_if< 
    std::is_same<tTYPE, typename SFoo<typename tTYPE::type>::SZug>{} 
>::type>: public std::true_type { }; 

和輕微修改的SBar模板，使「專業化」，如果該類型是SZug：

template <typename tTYPE, typename Enabler = void> 
struct SBar 
    { static void g(); }; 

template <typename tTYPE> 
struct SBar<tTYPE, typename std::enable_if<is_SZug<tTYPE>{}>::type> 
    { static void f(); }; 

小檢查：

void f() { 
    SBar<int>::g(); 
    SBar<SFoo<int>::SZug>::f(); 
} 

注：您也可以直接設置SFoo<T>爲type屬性在SFoo<T>::SZug，你只需要改變的std::is_same一點點的第二個參數。

Answer 2

你可以得到效果爲您正在尋找通過以下（打印出0 1，順便說一句）：

#include <type_traits> 
#include <iostream> 

namespace detail 
{ 
    struct SZugBase{}; 
} 

template <typename tTYPE> 
struct SFoo                                 
{ 
    struct SZug : public detail::SZugBase {}; 
}; 

template<typename tType, bool IsFoo> 
struct SBarBase 
{ 
    int value = 0; 
}; 

template<typename tType> 
struct SBarBase<tType, true> 
{ 
    int value = 1; 
}; 

template <typename tTYPE> 
struct SBar : public SBarBase<tTYPE, std::is_convertible<tTYPE, detail::SZugBase>::value> 
{ /* stuff */ }; 

int main() 
{ 
    SBar<int> b0; 
    SBar<SFoo<int>::SZug> b1; 

    std::cout << b0.value << " " << b1.value << std::endl; 
} 

說明

首先，我們得到一個SZug常規b類ASE：

namespace detail 
{ 
    struct SZugBase{}; 
} 

template <typename tTYPE> 
struct SFoo            
{ 
    struct SZug : public detail::SZugBase {}; 
}; 

注意以下幾點：

1. SZugBase不受任何參數，所以很容易獨立地指的SFoo

2. SZugBase參數來它是在一個detail命名空間，所以，按照常見的C++約定，你告訴客戶端你的代碼忽略它。

現在我們給SBar兩個基類，專業上的東西是否可以轉換爲的SZug非模板的基礎：

template<typename tType, bool IsFoo> 
struct SBarBase 
{ 
    int value = 0; 
}; 

template<typename tType> 
struct SBarBase<tType, true> 
{ 
    int value = 1; 
}; 

最後，我們只需要做出SBar這些基地的子類（取決於專業化）：

template <typename tTYPE> 
struct SBar : public SBarBase<tTYPE, std::is_convertible<tTYPE, detail::SZugBase>::value> 
{ /* stuff */ }; 

請注意，你不擅長SBar她e，你更專門化基類。不過，這實際上會產生相同的效果。