エイリアスタイプにエイリアステンプレートをキャスティング

Question

このコードを考えてみましょう：

struct foo {/* stuff */}; 

template <typename T> 
using bar = foo; 

// Elsewhere 
bar<int> A; 
auto &B = static_cast<foo&>(A); 

は法的Bを使用していますか？

Answer 1

はい、そうです。 bar<T>は、いずれもTの場合はfooとまったく同じタイプです。