型関数にならない原因

Question

前提・実現したいこと

コンパイル時に解決できることは，可能な限り型関数を使おうと思っています。
課題となっているのは，テンプレートクラス型と一致するか否かをコンパイル時に確認する方法です。テンプレート引数型は一致しなくても良いものとし，クラス名が一致するか否かを検出します。is_same_vを使ってコード例のように作成したのですが，うまくいきません。以下の「試したこと」のように，メンバを含めないと機能するので何かヒントがあるのかと思っておりますが，わかりませんでした。is_same_vにはこだわらないのですが，何か解決方法がわかる方がおられれば教えていただければと思います。単純な方法で解決できそうな気がするのですが。

発生している問題・エラーメッセージ

Static_assert expression is not an integral constant expression

該当のソースコード

template<typename T,size_t N>
class foo{
    std::array<T,N> ar;
};
template<typename T,size_t N>
class boo{
    std::array<T,N> ar;
};

template <typename T,size_t N,template<typename,size_t>class FOO>
constexpr bool foo_type(FOO<T,N>)
{
    return is_same_v<FOO<T,N>, foo<T,N>>;
}

int main(){
    foo<int,2> f;
    boo<int,2> b;
    
    static_assert( foo_type(f) );
    static_assert( !foo_type(b) );
}

試したこと

以下のようにメンバを書かないと，型関数として機能する。

template<typename T,size_t N>
class foo{};
template<typename T,size_t N>
class boo{};

補足情報（FW/ツールのバージョンなど）

clang
c++17

Answer 1

なんでNGなのかはわかりません。すみません。
以下の実装はWandboxでは期待通りコンパイルできていると思います。

#include <stddef.h>
#include <array>
#include <type_traits>

template<typename T,size_t N>
class foo{
    std::array<T,N> ar;
};
template<typename T,size_t N>
class boo{
    std::array<T,N> ar;
};

template <typename T>
struct is_foo_impl
{
    static const bool value = false;
};
template <typename T, size_t N>
struct is_foo_impl<foo<T, N>>
{
    static const bool value = true;
};
template <typename T>
struct is_foo
{
    using U = std::remove_cv_t<std::remove_reference_t<T>>;
    static const bool value = is_foo_impl<U>::value;
};
template <typename T>
constexpr bool is_foo_v = is_foo<T>::value;

template <typename T>
constexpr bool is_foo_test(T&&)
{
    return is_foo_v<T>;
}

int main()
{
    foo<int, 2> f;
    boo<int, 2> b;
    static_assert(is_foo_v<decltype(f)>);
    static_assert(!is_foo_v<decltype(b)>);
    static_assert(is_foo_test(f));
    static_assert(!is_foo_test(b));
    
    return 0;
}

Comments

[jbe00214]

私は，基本がしっかり分かっていないので，ご提示頂いた一連の方法（４つのクラスの使い方）が正に知りたかったことでした。たいへん，助かりました。やりたかったことが解決できました。ありがとうございました。