2つのタイプが同じテンプレートクラスから来たかどうかをチェックする方法

Question

2つのタイプが同じかどうかチェックしたいと思いますが、テンプレートパラメータに関係なくチェックします。このような何か：

template<class T> 
class A {}; 
class B {}; 

int main() { 
    cout << std::is_same_template<A<int>, A<string>>::value << endl; // true 
    cout << std::is_same_template<A<int>, B>::value << endl; // false 
} 

は、私は2つのタイプがexacty一致するかどうかをチェックするためにstd::is_sameの承知しています。私はこれを必要とする理由

理由： 私はどのようなタイプで呼び出すことができますテンプレートメソッドを持っていますが、私はそれを禁止したいと思いますが、おそらくstatic_assertを使用することにより、（テンプレートである）タイプAと呼ばれています。私が使用して、いくつかの一般的なTsのためにAを手動で除外することができ 、私が探しています：Aはテンプレートはありませんでした

EDIT ...、私はそれがstd::is_sameを使用して簡単に行うことができると考えているが、今、私は問題を抱えていますすべてのTのためにそれを行う方法：

static_assert(!std::is_same<parameter_type, A<int>>::value, "Cannot use this function with type A<T>"); 
static_assert(!std::is_same<parameter_type, A<double>>::value, "Cannot use this function with type A<T>"); 
static_assert(!std::is_same<parameter_type, A<bool>>::value, "Cannot use this function with type A<T>"); 

Answer 1

わかりましたが、どのようにこのことについて：

#include <iostream> 

template<class T> 
struct A {}; 
struct B {}; 

template <typename T> 
struct should_reject { static constexpr bool value = false; }; 

template <typename T> 
struct should_reject<A<T>> { static constexpr bool value = true; }; 

template <typename T> 
void rejectA(T t) 
{ 
    std::cout << should_reject<T>::value << std::endl; 
} 

int main() { 
    rejectA(B());   // false 
    rejectA(1);   // false 
    rejectA(1.0);   // false 
    rejectA(A<B>());  // true 
    rejectA(A<int>()); // true 
    rejectA(A<double>()); // true 
} 

Answer 2

私は現在、project of mineに使用NikitaKakuevの答え、@より簡単な方法を作ってみました。

template<typename, typename> 
constexpr bool is_same_template{false}; 

template< 
    template<typename...> class T, //typename T in C++17 
    typename... A, 
    typename... B 
> 
constexpr bool is_same_template< 
    T<A...>, 
    T<B...> 
>{true}; 

現在の唯一の問題は、タイプとタイプ名が混在するテンプレートです。 std::array<int, 10>。
この制限を解決するには、特殊化が必要です。

使用：

bool b = is_same_template<std::string, std::wstring>; //true 
//both are typedefs of std::basic_string 

---

編集：以下のコメントに@Helixによって要求されるように、std::arrayための専門（または同一の署名を有する任意の他のテンプレート）：

template< 
    template<typename, std::size_t> class T, //typename T in C++17 
    typename TA, std::size_t NA, 
    typename TB, std::size_t NB 
> 
constexpr bool is_same_template< 
    T<TA, NA>, 
    T<TB, NB> 
>{true};