Please don't cross-post to this list and to gcc-help, this question is
off-topic here
On Sat, 28 Jul 2018 at 04:01, Vladimir Reshetnikov
<v.reshetni...@gmail.com> wrote:
>
> I'm trying to understand why gcc rejects the dynamic array allocation in
> the initializer of e (introducing an alias or additional parenthesization
> suppress the error). Clang and MSVC happily compile this code. Does gcc
> correctly reject this code?
>
> template<typename T>
> void f() {
> typedef void(*arr[T::value])(); // OK
> arr a = { }; // OK
> void(*b[T::value])() = { }; // OK
> void(**c)() = new arr { }; // OK
> void(**d)() = new (void(*[(T::value)])()) { }; // OK
> void(**e)() = new (void(*[T::value])()) { }; // error: capture of
> non-variable 'T'
> }
>
> struct S {
> static constexpr int value = 5;
> };
>
> int main() {
> f<S>();
> }
>
> Tested against build 9.0.0 20180726 (experimental).
>
> --
> Thanks
> Vladimir
