将别名模板转换为别名类型

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>，foo与T的类型完全相同。