VisualStudioC++:template<template>におけるconceptのコンパイルエラーの原因が知りたい

環境

Microsoft Visual Studio Community 2019
Version 16.10.0
c++latest

問題

次のコードは上の環境でコンパイルエラーです．

質問：コンパイラのバグなのか，文法のエラーなのか，それとも別の原因なのかが知りたい

#include <iostream>

enum class Color {
	RED
};

template<typename T, template <auto,typename> typename U>
concept AA = true;

template<typename T, template <typename> typename U>
concept BB = true;

template<typename T, template <auto> typename U>
concept CC = true;

template<Color, std::integral T>
struct A {};

template<std::integral T>
struct B {};

template<Color>
struct C {};

template<AA<A> T>
void aa(T v) {
	std::cout << typeid(v).name();
}

template<BB<B> T>
void bb(T v) {
	std::cout << typeid(v).name();
}

template<CC<C> T>
void cc(T v) {
	std::cout << typeid(v).name();
}

int main() {
	A<Color::RED,int> a;
	//aa(a);//error

	B<int> b;
	bb(b);//ok

	C<Color::RED> c;
	cc(c);//ok
}

C2672	'aa': 一致するオーバーロードされた関数が見つかりませんでした。
C7602	'aa': 関連する制約が満たされていません

詳細

auto typename
typename
auto
の三種類のconceptを作成します．


template<typename T, template <auto,typename> typename U>
concept AA = true;

template<typename T, template <typename> typename U>
concept BB = true;

template<typename T, template <auto> typename U>
concept CC = true;

それらを使って関数に渡される型を制約します．
-conceptAA conceptBB conceptCCそれぞれ作成します．


template<AA<A> T>
void aa(T v) {
    std::cout << typeid(v).name();
}

template<BB<B> T>
void bb(T v) {
    std::cout << typeid(v).name();
}

template<CC<C> T>
void cc(T v) {
    std::cout << typeid(v).name();
}

テスト用のクラスをそれぞれ作成して，


template<Color, std::integral T>
struct A {};

template<std::integral T>
struct B {};

template<Color>
struct C {};

main関数で呼びます．


int main() {
    A<Color::RED,int> a;
    //aa(a);//error

    B<int> b;
    bb(b);//ok

    C<Color::RED> c;
    cc(c);//ok
}

関数aa以外は問題なく動作します．

別のコンパイラで確認したところ動作するようです．

別のコンパイラ

gcc11.1.0->ok

wandboxで確認

clang13.0.0->ok

wandboxで確認

行動規範の内容に同意します

回答1件

ベストアンサー

私が理解している限りでは、質問者の提示しているコードは正しい (コンパイルが通るべき) です。コンパイラのバグだと考えてよいと思います。

発生条件を切り分けるため AA をクラステンプレートにして MSVC で試してみてもエラーになりました。 A と U がマッチしないという意味のエラーメッセージが出ます。

#include <iostream>
#include <type_traits>

template<template <auto, typename> typename U> class AA : public std::true_type {};

// 以下のいずれかなら通る
// template<template <int, typename> typename U> class AA : public std::true_type {};
// template<template <auto, std::integral> typename U> class AA : public std::true_type {};

template<int, std::integral T>
struct A {};

int main() {
    std::cout << AA<A>::value << std::endl;
}

auto や typename とだけ書いている引数のどちらかをより具体的にすると通ることが確認できるので個別には推論できていると思われるのですが合わさると駄目なようです。