Issue with C++ template arguments with hidden visibility

Question

I'm compiling the following code under gcc with -fvisibility=hidden:

template<class T> struct /*__attribute__ ((visibility("default")))*/ A {};

template<class T> struct B
{
    B() __attribute__ ((visibility("default")));
};

template<class T> B<T>::B() {}

template class B<int>;
template class B<A<int> >;

If I run the resulting object file through nm | grep B, I get

000000000002b97c t B<A<int> >::B()
000000000002b972 t B<A<int> >::B()
000000000002b968 T B<int>::B()
000000000002b95e T B<int>::B()

I.e., B<int> is visible but B<A<int> > is invisible. B<A<int> > becomes visible if I uncomment the snippet marking A<T> as visible. However, I do not want to mark all of A visible, since in the real code A<T> contains a vast number of methods which should remain private.

Why does the visibility of A<T> affect the visibility of B<A<T> >? Can I make B<A<T> > visible without making all of A<T> visible?

Void - Othman · Accepted Answer · 2011-03-21 19:56:47Z

1

Assuming I understand the ODR correctly (I likely do not :)), hiding your B<A<int> > instantatiation looks like an ODR related requirement. If B<A<int> > was not hidden it would be possible for multiple instantations of A<>'s members to exist and be referenced, resulting in an ODR violation. GCC's symbol visibility Wiki briefly describes such violations when using hidden symbol visibility on "entities" with vague linkage, including templates (see the section on exceptions).

What are you trying to achieve by hiding the symbols in your A<> template?

answered Mar 21, 2011 at 19:56

Void - Othman

3,48120 silver badges18 bronze badges

Sign up to request clarification or add additional context in comments.

1 Comment

Geoffrey Irving Over a year ago

In my code A<> is a vector class with a large number of inlined methods, and I'd like to avoid exporting them all for the sake of file size and load time.

dex black · Accepted Answer · 2011-03-27 05:06:54Z

0

If you specifically wish to hide the inline methods of A<> try using -fvisibility-inlines-hidden

answered Mar 27, 2011 at 5:06

dex black

6476 silver badges8 bronze badges

2 Comments

Geoffrey Irving Over a year ago

I'm using -fvisibility=hidden, so -fvisibility-inlines-hidden is superfluous.

volpato Over a year ago

It seems so, but GCC guidelines recommends to add it:

In your build system (Makefile etc), you will probably wish to add the -fvisibility=hidden and -fvisibility-inlines-hidden options to the command line arguments of every GCC invocation

gcc.gnu.org/wiki/Visibility

Collectives™ on Stack Overflow

Issue with C++ template arguments with hidden visibility

2 Answers 2

1 Comment

2 Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

2 Answers 2

1 Comment

2 Comments

Your Answer

Sign up or log in

Post as a guest

Related