與常量和另一個模板

Question

的非const版本專營模板我有一個模板結構：

template<typename T> 
struct A {...}; 

，我想專注與另一模板類型B。

但是，我想使這個專業化適用於B和const B版本。可能嗎？

我已經嘗試過這種做法：

template<typename T, typename Enable = void> 
struct A {...}; 

template<typename T, typename U> 
struct A<T, std::enable_if<std::is_same<T, B<U>>::value || std::is_same<T, const B<U>>::value, void>::type 
{ 
... 
} 

但它無法編譯，給我error: template parameters not deducible in partial specialization

Answer 1

您可以爲is_B創建一個特徵，並用它：

template <typename T> struct is_BT : std::false_type {}; 
template <typename T> struct is_BT<B<T>> : std::true_type {}; 
template <typename T> struct is_BT<const B<T>> : std::true_type {}; 

template<typename T> 
struct A<T, std::enable_if_t<is_BT<T>::value>> 
{ 
// ... 
}; 

Live Demo

Answer 2

#include <type_traits> 

template <typename T> 
struct B {}; 

template <typename T> 
struct is_b : std::false_type {}; 

template <typename T> 
struct is_b<B<T>> : std::true_type {}; 

template <typename T> 
struct is_b<const B<T>> : std::true_type {}; 

template <typename T, typename Enable = void> 
struct A {}; 

template <typename T> 
struct A<T, typename std::enable_if<is_b<T>{}>::type> {}; 

DEMO

Answer 3

我從評論中提出了我的建議。此解決方案不使用SFINAE或其他TMP技術。這比其他建議稍微簡單一點，所以我希望我不會誤解這個問題。

這個想法是，你只是專精兩次，兩個爲B<T>和B<T> const的情況。爲了避免必須兩次實現這個類，你只需從const版本中派生非const的版本（以保持const正確性）。

#include <iostream> 

template <typename T> 
struct B {}; 

template <typename T> 
struct A 
{ 
    void foo() { std::cout << "Generic A\n"; } 
}; 

template <typename T> 
struct A<B<T> const> 
{ 
    // insert specialized functionality here 
    void foo() { std::cout << "B specialization\n"; } 
}; 

template <typename T> 
struct A<B<T>>: public A<B<T> const> 
{}; 


int main() 
{ 
    A<int>().foo(); // Generic A 
    A<B<int>>().foo(); // B specialization 
    A<B<int> const>().foo(); // B specialization 
} 

它假設你需要兩個專業化（非const和const）相同的實現。