C++ 11：unique_ptr抱怨不完整的類型，但不是當我包裝它時

Question

關於unique_ptr和不完整類型已經有很多關於SO的問題，但沒有人能給我一個概念來理解爲什麼以下不會工作：

// error: ... std::pair<...>::second has incomplete type 
template<typename K, typename T> struct Impl { 
    typedef typename std::unordered_map<K,Impl<K,T>>::iterator iter_type; 
    std::unique_ptr<iter_type> ptr; 
    Impl() : ptr(new iter_type()) {} 
}; 

int main() { Impl<int,int>(); return 0; } 

而以下作用：

template<typename K, typename T> struct Impl { 
    struct Wrapper { 
    typedef typename std::unordered_map<K,Impl<K,T>>::iterator iter_type; 
    iter_type iter; 
    }; 

    std::unique_ptr<Wrapper> ptr; 
    Impl() : ptr(new Wrapper()) {} 
}; 

int main() { Impl<int,int>(); return 0; } 

我沒有看到那裏的技術區別是：如果std::pair<...>::second（即Impl<K,T>）是不完整的，以Impl在第一個例子，它應該是不完整的第二個也是Wrapper。另外，如果將unique_ptr包裝在一個結構中就足夠了，那麼 ，爲什麼第一種情況會有限制？

UPDATE：

迪特馬爾·庫爾的回答後，我認爲這個問題可以歸納爲以下：

template<typename K, typename T> struct Impl { 
    typename std::unordered_map<K,Impl<K,T>>::iterator ptr; 
}; 

VS

template<typename K, typename T> struct Impl { 
    struct Wrapper { 
     typename std::unordered_map<K,Impl<K,T>>::iterator iter; 
    }; 
    Wrapper *ptr; 
}; 

Answer 1

在第一種情況下的問題不完整的類型與std::unordered_map<K, Impl<K, T>一起使用：要確定iterator是什麼，部分std::unordered_map<K, Impl<K, T> ne在僅僅聲明Impl的時候編輯實例化。 std::unique_ptr<...>與錯誤無關。您可以刪除使用iter_type，因爲typedef需要驗證它是一種類型。

另一方面，在將迭代器類型的使用封裝到Wrapper中時，在構造器實現之前不會使用此嵌套類型。當然，行內定義的函數表現爲如果類只是完全定義，並且它們執行外面的類的定義，即，需要的Wrapper定義當上述代碼等價於

template<typename K, typename T> struct Impl { 
    struct Wrapper { 
    typedef typename std::unordered_map<K,Impl<K,T>>::iterator iter_type; 
    iter_type iter; 
    }; 

    std::unique_ptr<Wrapper> ptr; 
    Impl(); 
}; 
template<typename K, typename T> 
Impl<K, T>::Impl() : ptr(new Impl<K, T>::Wrapper()) {} 

即，並實例化，定義了Impl。