One-definition rule for inline functions

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


Hello

I have an inline function like this:

void draw_unit_vector()
{
	// some large code here
	// ...

	LineTo(1, 1);
}

in two translation units A and B.

Now if the function is large enough it is still compiled and called, and not inlined.

The LineTo() function has two overloads:
	- translation unit A only needs the float version:
                  LineTo(float x, float y);
          and declares it before it includes the inline function.
        - translation unit B uses both int and float versions:
		  LineTo(int x, int y);
		  LineTo(float x, float y);
          and declares them before it includes the inline function.

The same inline function would call LineTo(float, float) in source A, but would call LineTo(int, int) in source B. And it so happens that the two overloads for LineTo() are quite different, the int version is for text-mode only, while the float version is for graphics mode.

By the C++ standard this case is a clear violation of the one-definition rule, and users should take good care to avoid it.

My question is: what does g++ do in such case ?

Does it compile two different draw_unit_vector() functions from the same inline function definition ?

Thank you,
Timothy Madden



[Linux C Programming]     [Linux Kernel]     [eCos]     [Fedora Development]     [Fedora Announce]     [Autoconf]     [The DWARVES Debugging Tools]     [Yosemite Campsites]     [Yosemite News]     [Linux GCC]

Add to Google