根本的な原因は、**イテレータを引数に取るコンストラクタが、イテレータ以外のものまで受け付けてしまう**ことです。 エラーメッセージを見てみると、`main()`の中の`myvector<int> v(10, 1);`がエラーのもともとの始まりです。 ``` int main() { myvector<int> v(10, 1); ``` コンパイラは、この`v`を定義した行を、イテレータを二つ与えたコンストラクタとして解釈していますが、どうみても、10と1はイテレータではないので、これは`myvector(size_type size, const_reference value, const allocator_type& alloc = allocator_type());`を使おうとしたもの、つまりベクターのサイズと初期値を指定したコンストラクタを使うつもりだったと思います。 (以下、簡単のため、デフォルトの値を持つ引数は無視します) 下のコードは、意図したはずのコンストラクタと、実際に呼ばれたコンストラクタを抜粋したものです。 ``` using size_type = std::size_t; myvector(size_type size, const_reference value); template < typename InputIterator> myvector(InputIterator first, InputIterator last); ``` 呼び出し側のコードを見てみると、実引数はどちらも`signed int`です。 ``` int main() { myvector<int> v(10, 1); ``` しかし、意図したコンストラクタの最初の引数は`size_type`、つまり`unsigned`なので、厳密には型が一致しません。一方、イテレータを指定するコンストラクタの方は、テンプレート引数が`<typename InputIterator>`で、名前こそ`InputIterator`ですが、実際には任意のデータ型と一致します。 つまり、コンパイラは、テンプレートではないコンストラクタで完全一致するものが見つけられなかったため、テンプレートのコンストラクタから完全一致するものを選択したわけです。実際、 ``` int main() { myvector<int> v(10u, 1); ``` と、最初の引数を`unsigned`にすれば、目的のコンストラクタが使われ、エラーは出ません。 このままだと不便ですし、予想外のエラーが起きる可能性があるので、イテレータを取るコンストラクタは、実引数が実際にイテレータでない場合は、実体化されないようにしたいところですが、なかなかに面倒でしょう。標準のライブラリと一緒に使えるようにするには、`std::enable_if`や`std::iterator_traits`などを駆使する必要がありそうです。 -------- 追記 ちょっと試してみました。イテレータとして使えない型`T`の場合、`std::iterator_traits<T>`は、何もメンバを持ちません。これを利用して、コンストラクタの宣言の方を ``` template < typename InputIterator, typename = typename std::iterator_traits<InputIterator>::value_type> myvector(InputIterator first, InputIterator last, const Allocator & = Allocator()); ``` とし、実際の定義の方を ``` template < typename T, typename Allocator > template < typename InputIterator, typename> myvector<T, Allocator>::myvector(InputIterator first, InputIterator last, const Allocator&) { // 以下、実際のコード ``` とすれば、うまくいきそうです。ただし、あまりテストはしていません。