將別名模板轉換為別名類型

Question

考慮以下代碼：

struct foo {/* stuff */};

template <typename T>
using bar = foo;

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

使用B合法嗎？

Answer 1

是的。 對於任何T bar<T>與foo類型完全相同。