与常量和另一个模板

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）相同的实现。