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

Question

環境

• 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で確認

Answer 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 とだけ書いている引数のどちらかをより具体的にすると通ることが確認できるので個別には推論できていると思われるのですが合わさると駄目なようです。

• 型引数に auto が含まれる
• コンセプトで制約されている型を (requires で制約されていない) typename で受け取る

の両方をそれぞれ一つ以上含むような形でテンプレートを受け取るというのが問題の発生条件だと考えられます。

Comments

[fluid_love]

ありがとうございます！

VisualStudioのバグ報告をするところがあるようなので、同様のバグが報告されていないか確認してみます。