• Advertisement
Sign in to follow this  

Do all functions default to external linkage by default?

This topic is 1719 days old which is more than the 365 day threshold we allow for new replies. Please post a new topic.

If you intended to correct an error in the post then please contact us.

Recommended Posts

I just have a hard time thinking about some functions that default to internal linkage,are there any? by default of course.

Share this post


Link to post
Share on other sites
Advertisement

Inline or static functions have internal linkage, non-inline and non-static functions, which I presume you mean by "default" since you don't decorate them with additional keywords, have external linkage.

Share this post


Link to post
Share on other sites

Functions (and everything else) in an anonymous namespace have internal linkage as well, since that has deprecated the use of the static qualifier in C++ now.

Edited by Paradigm Shifter

Share this post


Link to post
Share on other sites


Functions (and everything else) in an anonymous namespace have internal linkage as well, since that has deprecated the use of the static qualifier in C++ now.


Note that C++11 un-deprecated the usage of the static qualifier.

Share this post


Link to post
Share on other sites

Not that making it deprecated stopped people using it anyway ;)

 

So why did they do that? I suppose it is easier to tell from the declaration something has internal linkage if it has a static qualifier rather than having to check to see if it is inside an anonymous namespace...

Share this post


Link to post
Share on other sites


So why did they do that? I suppose it is easier to tell from the declaration something has internal linkage if it has a static qualifier rather than having to check to see if it is inside an anonymous namespace...


They just changed the wording so that it's not longer deprecated. The C++ committee likely still thinks anonymous namespaces are superior, but (from what I've read) decided it's pointless to officially deprecate it. There was no technical need for it to be deprecated.

Share this post


Link to post
Share on other sites

Functions (and everything else) in an anonymous namespace have internal linkage as well, since that has deprecated the use of the static qualifier in C++ now.

I know I've responded to you like this before so it kind of feels like I'm picking on you, but... symbols in an anonymous namespace typically have external linkage, they just happen to have a unique name automatically associated with them that is not accessible from the outside.

 

Wouldn't say it has much of an impact in every-day code, but one place where is matters is for example template parameters: reference of pointer template parameters can only be instantiated with symbols of external linkage. Therefore, you can pass the reference or pointer to a variable within an anonymous namespace, but not a static variable, as a reference or pointer template parameter.

static int bar1 = 0;
namespace { int bar2 = 0; }
 
template<int *> void foo() {}
 
int main() {
    foo<&bar1>(); // error, bar1 does not have external linkage
    foo<&bar2>(); // ok, bar2 has external linkage
}

Share this post


Link to post
Share on other sites

Not really following you guys.So,if I put a function/variable in a namespace created by me,the function/variable will have internal linkage right?

Share this post


Link to post
Share on other sites

Unless you make it static, a function or variable in a namespace typically has external linkage. And that applies to anonymous namespaces as well.

Share this post


Link to post
Share on other sites

I know I've responded to you like this before so it kind of feels like I'm picking on you, but... symbols in an anonymous namespace typically have external linkage, they just happen to have a unique name automatically associated with them that is not accessible from the outside.

This is actually different in C++03 and C++11. In C++03 they have external linkage, but C++11 changed names in anonymous namespaces to have internal linkage. This was accompanied by a change to the template argument rules so that it's legal to use an object with internal linkage as a template argument. The relevant sections of the standards to compare are 3.5 for program linkage rules and 14.3.2 for the non-type template argument rules (same section numbers in both).

Share this post


Link to post
Share on other sites

I see that in section 14 about internal linkage, and VS2012 appears not to be compliant on that part. But which paragraph in 3.5 refers to unnamed namespaces having internal linkage? I can, now that I read it again, assume that it's paragraph 4 and that it has an ambiguous formulation because, as I read it, it refers to nested namespaces inside an unnamed namespace.

Share this post


Link to post
Share on other sites

I see that in section 14 about internal linkage, and VS2012 appears not to be compliant on that part. But which paragraph in 3.5 refers to unnamed namespaces having internal linkage? I can, now that I read it again, assume that it's paragraph 4 and that it has an ambiguous formulation because, as I read it, it refers to nested namespaces inside an unnamed namespace.

An unnamed namespace or a namespace declared directly or indirectly within an unnamed namespace has
internal linkage.

How is that ambiguous? It refers to both.

Share this post


Link to post
Share on other sites

Using parentheses to group the OR: "(An unnamed namespace or a named namespace) declared directly or indirectly within an unnamed namespace..." as opposed to "An unnamed namespace or (a named namespace declared directly or indirectly within an unnamed namespace)..." I read the first, but apparently the intended meaning is the second.

Share this post


Link to post
Share on other sites
Oh, I see. I guess this sentence is just very poorly written: I also object to the use of "OR" instead of "AND". To me `A or B has internal linkage' means `A has internal linkage' OR `B has internal linkage', but what they are trying to say is `A has internal linkage' AND `B has internal linkage', which I would write as `A and B have internal linkage'.

Share this post


Link to post
Share on other sites
Sign in to follow this  

  • Advertisement