Header-only-Klasse + Undefinierter Verweis auf Funktion NUR WENN Rückgabeobjekt dieser Klasse

Question

Ich habe ein sehr seltsames Problem mit dem GCC 5.4.0 Linker. Ich habe diese Dateien:

spline.h, utils.h/cpp, main.cpp

spline.h ist ein Kopf nur Utility-Klasse für Befestigungspunkte auf Splines.

1) Ich erstelle eine Bibliothek mit utils.cpp und CMake:

add_library(utils_lib utils.cpp) 

utils.h#include ist spline.h ing.

2) Ich eröffne mein binär aus main.cpp:

add_executable(hello_world main.cpp) 
target_link_libraries(hello_world utils_lib) 

3) Innerhalb utils.cpp, ich habe diese Funktion:

tk::spline fitSpline(const std::vector<double>& x, 
        const std::vector<double>& y) 
{ 
    tk::spline output; 
    output.set_points(x,y); 
    return output; 
} 

Also, wenn ich versuche, diese Funktion innerhalb main.cpp zu verwenden:

auto my_spline = fitSpline(x,y); 

Dann bekomme ich diesen Linker Fehler:

undefined reference to `fitSpline(std::vector<double, std::allocator<double> > const&, std::vector<double, std::allocator<double> > const&)' 

Allerdings, wenn ich den Rückgabewert von fitSpline-double zum Beispiel ändern:

double fitSpline(const std::vector<double>& x, 
       const std::vector<double>& y) 
{ 
    tk::spline output; 
    output.set_points(x,y); 

    return 0.0; 
} 

Dann mehr ich nicht die Linker-Fehler erhalten! Es kompiliert einfach gut. Ich verstehe wirklich nicht, was das Problem ist, irgendwelche Hinweise?

Danke!

Answer 1

Es gibt zwei Übersetzungseinheiten. Die TU für utils_lib und die TU für main.cpp.

Namen in unbenannten Namespaces befinden sich beide in einem eindeutigen Namespace UND haben effektiv eine interne Verknüpfung (seit C++ 11 sind sie als interne Verknüpfung definiert).

So wird der Versuch, einen Typ wie tk::spline von einer anderen TU zu referenzieren, aufgrund der effektiven internen Verknüpfung fehlschlagen.

Duplizieren Verwendung von spline.h wäre normalerweise in Ordnung, wenn die Objekte zustandslos und nicht freigegeben waren. Aber hier machst du das nicht. Sie behandeln sie als fungibel, indem Sie ein Objekt in einer TU erstellen und versuchen, sie über einen Typ in einer anderen TU zu speichern. Dies schlägt fehl, weil sie unterschiedliche eindeutige Namespace-Namen haben.

Wenn Sie wirklich keine unnötigen Symbole in eine Nur-Header-Bibliothek exportieren möchten, sollten Sie nur für diese Symbole einen internen "Detail" -Namespace verwenden, während diejenigen, die Benutzern im äußeren Namespace bekannt sein sollten .

Nichts davon, btw, hat etwas mit cmake oder einem Build-System zu tun. Da jedoch Ihre Frage cmake verwendet, um die Struktur viel klarer zu machen (gute Arbeit btw), ist das Tag wahrscheinlich in Ordnung.