Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Local function declaration inside namespace

In such a situation

namespace n {
    void f() {
        void another_function();
    }
}

Should the function another_function be defined inside the namespace n or outside? VS 2012 (with the November CTP) says it should be outside, and GCC 4.7.2 on the Mac says it should be inside. If I do the wrong one, I get undefined symbol errors from the linkers.

I generally trust GCC to be more compliant to the standard, but this is C++ and you can never be sure.

like image 415
Seth Carnegie Avatar asked Jan 03 '13 18:01

Seth Carnegie


2 Answers

C++11 3.5 (as well as C++03)

7 When a block scope declaration of an entity with linkage is not found to refer to some other declaration, then that entity is a member of the innermost enclosing namespace. However such a declaration does not introduce the member name in its namespace scope.

The declaration in your example declares n::another_function.

like image 61
AnT Avatar answered Nov 06 '22 13:11

AnT


According to N3485 7.3.1 [namespace.def]/6, the correct answer is n::another_function.

The enclosing namespaces of a declaration are those namespaces in which the declaration lexically appears, except for a redeclaration of a namespace member outside its original namespace (e.g., a definition as specified in 7.3.1.2). Such a redeclaration has the same enclosing namespaces as the original declaration. [ Example:

namespace Q {
    namespace V {
        void f(); // enclosing namespaces are the global namespace, Q, and Q::V
        class C { void m(); };
    }
    void V::f() { // enclosing namespaces are the global namespace, Q, and Q::V
        extern void h(); // ... so this declares Q::V::h
    }
    void V::C::m() { // enclosing namespaces are the global namespace, Q, and Q::V
    }
}

—end example ]

like image 3
Billy ONeal Avatar answered Nov 06 '22 14:11

Billy ONeal