エイリアステンプレートをかませた場合の型推論

Question

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

前回(関連する)の質問

https://teratail.com/questions/331361#reply-457823

url先で、次のコードは「エラーがでてコンパイルが通らない」と言っていたのですが、実行してみるとコンパイルが通り期待通りの動作をしてくれました

画面でエラーが出ていただけでした(IntelliSenseの問題)

//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　
}

---

????そこで関連して質問があるのですが、上のコードがコンパイルOKで↓のコードがNGな理由がわかりません

質問： alias templateとやらを間にかませたときに、型推論できる場合とできない場合の分別方法が知りたいです

#include <vector>

template<typename T>
using v = std::vector<T>;


int main() {
	std::vector<int> a = { 1 };//ok
	std::vector a2 = { 1 };//ok

	v<int> a3 = { 1 };//ok
	v a4 = {1};//error

	std::vector a5(1, 1);//ok
	v a6(1, 1);//error
}

環境

????visual studio2019 version16.9
????C++20(VC++ latest)
????windows10

Answer 1

C++標準ライブラリstd::vector<T, Allocator>のアロケータ(Allocator)サポートが、エイリアステンプレート経由でのテンプレート引数推論失敗の原因と思われます。

型std::vector<T>は厳密には型std::vector<T, std::allocator<T>>となります。クラステンプレート引数推論ではコンストラクタのシグネチャを利用しますが、推論過程ではコンストラクタへのデフォルト引数（const Allocator& = Allocator()）が無視されるためにこのような挙動になったと考えられます。

C++20 std::vector<T, Allocator>コンストラクタは下記オーバーロードを提供します。

constexpr vector() noexcept(noexcept(Allocator()));
constexpr explicit vector(const Allocator&) noexcept;
constexpr explicit vector(size_type n, const Allocator& = Allocator());
constexpr vector(size_type n, const T& value, const Allocator& = Allocator());
template<class InputIterator>
  constexpr vector(InputIterator first, InputIterator last, const Allocator& = Allocator());
constexpr vector(const vector& x);
constexpr vector(vector&&) noexcept;
constexpr vector(const vector&, const Allocator&);
constexpr vector(vector&&, const Allocator&);
constexpr vector(initializer_list<T>, const Allocator& = Allocator());

C++コンパイラはクラス構築時の実引数リスト{1}つまり「1個のint型」からTの推論を試みます。引数を1個だけとるコンストラクタは下記3個しかありませんが、いずれもint型との互換性はなく推定に失敗します。

constexpr explicit vector(const Allocator&) noexcept;
constexpr vector(const vector& x);
constexpr vector(vector&&) noexcept;

Comments

[hoge111]

ありがとうございます
ゆっくり読ませていただきます????