类中不允许使用不完整的类型，但类模板中允许使用不完整的类型

以下是无效的代码：

struct foo {
    struct bar;
    bar x;        // error: field x has incomplete type
    struct bar{ int value{42}; };
};

int main() { return foo{}.x.value; }

这很清楚，因为foo::bar在foo::x定义的位置被认为是不完整的。

但是，似乎有一个“替代方法”使相同的类定义有效：

template <typename = void>
struct foo_impl {
    struct bar;
    bar x;        // no problems here
    struct bar{ int value{42}; };
};

using foo = foo_impl<>;

int main() { return foo{}.x.value; }

这适用于所有主要编译器。我对此有三个问题：

1. 这确实是有效的C ++代码，还是只是一些古怪的编译器？
2. 如果它是有效的代码，那么C ++标准中是否有一段处理此异常？
3. 如果它是有效的代码，为什么第一个版本（不带template）被认为无效？如果编译器可以找出第二个选项，那么我看不出为什么它不能找出第一个选项的原因。

如果我为以下内容添加明确的专业化void：

template <typename = void>
struct foo_impl {};

template<>
struct foo_impl<void> {
    struct bar;
    bar x;        // error: field has incomplete type
    struct bar{ int value{42}; };
};

using foo = foo_impl<>;

int main() { return foo{}.x.value; } 

它再次无法编译。