Strange code that compiles with g++

The following code compiles successfully with g++ 4.8.1:

int main()
{
    int(*)();
}

It looks like a simple declaration of a pointer to function:

int(*f)();

It doesn't compile with clang 3.4 and vc++ 2013.

Is it a compiler bug or one of dark places of the standard?

---

List of similar strange code pieces which compile fine with g++ 4.8.1 (updated):

1. int(*)();

2. int(*);

3. int(*){};

4. int(*());

Live example with these strange code pieces.

Update 1: @Ali added some interesting information in the comments:

> All 4 cases give a compile error with clang 3.5 trunk (202594) and compile fine with gcc 4.9 trunk (20140302). The behavior is the same with -std=c++98 -pedantic, except for int(*){}; which is understandable; extended initializer lists only available with -std=c++11.

Update 2: As @CantChooseUsernames noted in his answer they still compile fine even with initialization and no assembly is generated for them by g++ (neither with nor without initialization) even without any enabled optimization:

1. int(*)() = 0;

2. int(*) = 0;

3. int(*){} = 0;

4. int(*()) = 0;

Live example with initializations.

Update 3: I was really surprised to find that int(*)() = "Hello, world!"; compiles fine, too (while int(*p)() = "Hello, world!"; doesn't compile, of course).

Update 4: It is fantastic but int(*){} = Hello, world!; compiles fine. And the following extremely strange piece of code, too: int(*){}() = -+*/%&|^~.,:!?$()[]{}; (live example).

Update 5: As @zwol noted in his comment

> This and a number of related syntactic problems are being tracked as gcc bug 68265.

According to the C++ Standard (p. #6 of section 7 Declarations)

> 6 Each init-declarator in the init-declarator-list contains exactly > one declarator-id, which is the name declared by that > init-declarator and hence one of the names declared by the declaration

So it is simply a compiler bug.

The valid code could look as for example (apart from the function pointer declaration showed by you) though I can not compile it with my MS VC++ 2010.

int(*p){};

It seems that the compiler you are using for testing allows declarations without a declarator-id.

Also take into account the following paragraph of section 8.1 Type names

> 1 To specify type conversions explicitly, and as an argument of > sizeof, alignof, new, or typeid, the name of a type shall be > specified. This can be done with a type-id, which is syntactically a > declaration for a variable or function of that type that omits the > name of the entity.

I am not sure how much this helps, but I tried the following (clang 3.3, g++ 4.8.1):

using P = int(*)();
using Q = int*;
P; // warning only
Q; // warning only
int(*)(); // error (but only in clang)
int*;     // error
int(*p)(); // ok
int *q;    // ok

On the other hand, everything compiles fine in g++ 4.8.2 and 4.9.0. I have no clang 3.4, unfortunately.

Very roughly, a declaration [iso section 7] consists of the following parts in order:

1. optional prefix specifiers (e.g. static, virtual)
2. base type (e.g. const double, vector<int>)
3. declarator (e.g. n, *p, a[7], f(int))
4. optional suffix function specifiers (e.g. const, noexcept)
5. optional initializer or function body (e.g. = {1,2,3} or { return 0; }

Now, a declarator roughly consists of a name and optionally some declarator operators [iso 8/4].

Prefix operators, e.g.:

• * (pointer)
• *const (constant pointer)
• & (lvalue reference)
• && (rvalue reference)
• auto (function return type, when trailing)

Postfix operators, e.g.:

• [] (array)
• () (function)
• -> (function trailing return type)

The above operators were designed to reflect their use in expressions. Postfix operators bind tighter than prefix, and parentheses can be used to change their order: int *f() is a function returning a pointer to int, whereas int (*f)() is a pointer to a function returning int.

Maybe I am wrong, but I think these operators cannot be in the declaration without the name. So when we write int *q;, then int is the base type, and *q is the declarator consisting of prefix operator * followed by name q. But int *; cannot appear by itself.

On the other hand, when we define using Q = int*;, then declaration Q; is fine by itself because Q is the base type. Of course, because we are not declaring anything, we may get an error or a warning depending on compiler options, but this is a different error.

The above are just my understanding. What the standard (e.g. N3337) says is [iso 8.3/1]:

> Each declarator contains exactly one declarator-id; it names the identifier that is declared. An unqualified-id occurring in a declarator-id shall be a simple identifier except for the declaration of some special functions (12.3 [user-defined conversions], 12.4 [destructors], 13.5 [overloaded operators]) and for the declaration of template specializations or partial specializations (14.7).

(notes in square brackets are mine). So I understand int(*)(); should be invalid and I cannot say why it has different behaviour in clang and different versions of g++.

You can use this: http://gcc.godbolt.org/ to view the assembly..

int main()
{
    int(*)() = 0;
    return 0;
}

Generates:

main:
	pushq	%rbp
	movq	%rsp, %rbp
	movl	$0, %eax
	popq	%rbp
	ret

Which is equivalent to: int main() {return 0;} So even with NO optimization, gcc just doesn't generate assembly for it.. Should it give a warning or error? I have no clue but it doesn't care or do anything for the unnamed func pointer.

However:

int main()
{
    int (*p)() = 0;
    return 0;
}

With no optimization will generate:

main:
	pushq	%rbp
	movq	%rsp, %rbp
	movq	$0, -8(%rbp)
	movl	$0, %eax
	popq	%rbp
	ret

which allocates 8 bytes on the stack..