インスタンスかどうかを区別するクラスの非型バージョンを作りたい

Question

前提

インスタンスであるかどうかを判定するクラスがあります(参考)．

template<typename T, template <typename ...> typename U>
class is_instance_of {
private:
	template<typename V> class helper : public std::false_type {};
	template<typename... V> class helper<U<V...>> : public std::true_type {};
public:
	static constexpr bool value = helper<T>::value;
};

これを用いると

#include <iostream>
#include <type_traits>

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

int main(){

	using Ty1 = A<int, int, int>;
    using Ty2 = int;

	if constexpr (is_instance_of<Ty1,A>::value) {//true
		std::cout << "Ty1: instance";
	}
	if constexpr (is_instance_of<Ty2,A>::value) {//false
		std::cout << "Ty2: instance";
	}

}

出力結果↓

Ty1: instance

---

このような感じにインスタンスかどうかを区別できます．

質問

非型の場合にも同様に区別することは可能でしょうか

理想↓

template<auto...>
struct A {};


int main(){

    static_assert(is_instance_of_nontype<A<10> , A>);//ok

    static_assert(is_instance_of_nontype<A<10.0f>, A>);//ok

    static_assert(is_instance_of_nontype<int , A>);//error

    static_assert(is_instance_of_nontype<A<'a'> , A>);//ok

}

試したこと

C++17以前に同様の質問があり，型を指定すれば可能とのことでした．

C++17 C++20と進化し続けていますが，まだ上記のようにis_instance_of<A<10>,A>のように，型に指定せずに書くことは不可能なのでしょうか?

↓型を指定する必要がある

template<typename X, typename T, template <X ...> typename U>
class is_instance_of_nontype {
private:
	template<typename V> class helper : public std::false_type {};
	template<X... V> class helper<U<V...>> : public std::true_type {};
public:
	static constexpr bool value = helper<T>::value;
};


template<auto...>
struct A {};


int main(){


	using T1 = A<10>;
	using T2 = A<20>;
	using T3 = A<10.0>;
	using T4 = A<'a'>;

	//true
	if constexpr (is_instance_of_nontype<int, T1, A>::value) {
		cout << "T1" << endl;
	}

	//false T2はA<int型>であってA<float型>でないのでfalse
	if constexpr (is_instance_of_nontype<float, T2, A>::value) {
		cout << "T2" << endl;
	}

	//true
	if constexpr (is_instance_of_nontype<double, T3, A>::value) {
		cout << "T3" << endl;
	}

	//true
	if constexpr (is_instance_of_nontype<char, T4, A>::value) {
		cout << "T4" << endl;
	}

    //理想は↓　型にとらわれたくない
    //if constexpr (is_instance_of_nontype<T2, A>::value) { //true
	//	
	//}

}

↓出力結果

T1
T3
T4

---

よろしくお願いします．

Answer 1

このような定義で出来るはずです。

#include <type_traits>

template<class T, template <auto...> typename U>
class is_instance_of_nontype {
private:
    template<class V> class helper : public std::false_type {};
    template<auto... V> class helper<U<V...>> : public std::true_type {};
public:
    static constexpr bool value = helper<T>::value;
};

C++17 までは非型テンプレート変数に渡せる値の型は整数、ポインタ、参照などに限られており、クラス型の値は渡せません。 C++20 以降はこの仕様は大幅に緩和されて double を含む算術型も渡せることになっているのですが、 clang の最新版でもまだ A<10.0> をエラーにするようです。 (gcc では OK)

Comments

[fluid_love]

ありがとうございます！．
無事にできました．