usingを使った際の型の推論

Question

????usingを使った場合の型推論を機能させたいです

//concept
template<typename T>
concept Integer = std::integral<T>;


template<Integer T>
struct Int {

	//コンストラクタ
	Int(T i) :i(i) {}

	T i;//メンバ変数
};

template<Integer T>
using Int2 = Int<T>;


int main() {
	Int i(0);

    /*ここ*/
	Int2 i2(0);//error　
}

---

????上のコードのようなusingを使うと型の推論が働きません

template<Integer T>
using Int2 = Int<T>;

????出来れば↓のように書きたいと思っています

Int2 i2(0)//こんな感じにかけるようにしたい

---

????よろしくお願いいたします。

追記(2021/4/8)

関連する新たな質問を立てます
https://teratail.com/questions/332331?modal=q-comp

追記(2021/4/9)

返信欄より->c++20でできるようになったようです
新しい質問は削除しました

Answer 1

実引数推定はclass templateにのみ許容され、alias templateでは不可能です。

Comments

[hoge111]

????????????ありがとうございます

[yohhoy]

FYI: C++17までは回答の通りですね。C++20ではalias templateからのクラステンプレート引数推論が追加されました。
https://cpprefjp.github.io/lang/cpp20/class_template_argument_deduction_for_alias_templates.html

[yumetodo]

！？なんと・・・。

Answer 2

????ふと思いもう一度やってみると画面ではエラーが出ていましたがコンパイルが通りました
????お騒がせしました

template<typename T>
concept Integer = std::integral<T>;


template<Integer T>
struct Int {

    //コンストラクタ
    Int(T i) :i(i) {
        std::cout << i;
    }

    T i;//メンバ変数
};

template<Integer T>
using Int2 = Int<T>;


int main() {
    Int i(0);//0

    Int2 i2(1);//1
}

//出力
01

---

????↓こんな感じでエラーがでますが

????なんか通りました

Comments

[yumetodo]

余談ですが実はIntelliSenseとコンパイルをするときに使われるコンパイラ、方やEDG、もう一方はcl.exeと全く別のコンパイラなんですよね・・・。新しい言語仕様とかが関わるとIntelliSenseは信用できないというのはまさにこういうことです。