使用来自元函数的typedef声明成员函数

考虑以下代码:

template <class>
struct Foo_s {
    using type = void();
};

template <class>
using Foo_u = void();

template <class T>
struct Bar {
             Foo_u<void>       foo1; // OK
    typename Foo_s<void>::type foo2; // OK
             Foo_u<T>          foo3; // OK
    typename Foo_s<T>::type    foo4; // Boom.
};

template struct Bar<void>;

声明 foo4 在GCC 7.2、Clang 5.0.0和MSVC 19.10.25017上失败。

通用条款:

<source>: In instantiation of 'struct Bar<void>':
18 : <source>:18:17:   required from here
15 : <source>:15:29: error: field 'Bar<void>::foo4' invalidly declared function type
     typename Foo_s<T>::type foo4;
                             ^~~~

叮当声:

15 : <source>:15:29: error: data member instantiated with function type 'typename Foo_s<void>::type' (aka 'void ()')
    typename Foo_s<T>::type foo4;
                            ^
18 : <source>:18:17: note: in instantiation of template class 'Bar<void>' requested here
template struct Bar<void>;
                ^

MSVC:

15 : <source>(15): error C2207: 'Bar<T>::foo4': a member of a class template cannot acquire a function type
18 : <source>(18): note: see reference to class template instantiation 'Bar<void>' being compiled

他们似乎都认为我在试图用函数类型声明一个数据成员。如您所见,只有当类型是嵌套的(而不是 using 模板),并取决于类的参数。这看起来像一个bug,但这三个编译器都同意这一点,这一事实让我怀疑。

这是标准行为吗?如果是的话,有没有理由不允许这样做,有没有办法声明一个成员函数,其类型是用元程序计算的?