Sie, wie Sie sagen compiler NICHT optimieren Sie bestimmte Codes entfernt?

Den compiler nicht optimieren, die Funktion Körper Weg, ob Sie es erklären, extern oder nicht, weil es nicht weiß, dass die Funktion nicht aufgerufen wird, aus einer anderen compilation unit. Könnte es optimieren, es zu erreichen, wenn Sie erklärt, es statische, aber ich don t glaube, jeder Compiler tun das.

Den compiler kann optimieren entfernte Funktionsaufrufe:

while(false) {
  foo();
}

In der vor dem Aufruf von foo() kann erstellte.

OTOH, die linker entfernen können Funktionskörper von der endgültigen excecutable, wenn Sie nicht abgerufen werden.

Für die oben genannten und anderen Gründen, die wir wirklich brauchen, um zu sehen, einige echte code, um Ihr problem diagnostizieren.

InformationsquelleAutor

Ist der compiler die Optimierung entfernt eine variable, die nie benutzt wird, kann er nicht optimieren, eine Funktion, mit der Begründung, dass es nicht verwendet werden, da es verwendet werden könnte, aus einer anderen compilation unit. Sie könnten versuchen, es zu erzwingen, die der compiler in Anbetracht der Variablen verwendet, die mit so etwas wie:

void instantiation()
{
   Foo<int> f;
   f; //mark the variable as if it is used.
}

//or:
Foo<int>* instantiation()
{
   Foo<int> *p = new Foo<int>();
   return p; //The compiler cannot know if p will be used, it must compile
}

Eine bessere Lösung wäre explizit instanziieren die Vorlage, wenn Sie es wollen:

//.h
template <typename T>
class Foo
{
public:
   Foo( T const & value );
   void set( T const & ); //whatever else
private:
   T value_;
};

//template implementation another file, not included from .h
//instantiation.cpp??
template <typename T>
Foo<T>::Foo<T>( T const & value ) : value_(value) {}

template <typename T>
void Foo<T>::set( T const & v )
{
   value_ = value;
}

//explicit instantiation
template class Foo<int>;
template class Foo<double>;

//test.cpp
#include "header.h"
int main()
{
    Foo<int> f(5);
    f.set( 7 );

    Foo<char> f2; //linker error Foo<char>() not defined
}

Benutzer-code werden nur die header und wissen, welche Methoden vorhanden sind, aber nicht die tatsächliche Umsetzung. Die Umsetzung, zusammengestellt in einer compilation unit, wo die explizite template-Instantiierung erfolgt.

Beachten Sie, dass, wenn Sie vergessen, explizit instanziieren eines Typs, es wird ein linker-Fehler, nicht zu einem Kompilierungsfehler.

Die One Definition Rule

Die one definition rule in c++ besagt, dass es nur eine definition für jedes symbol oder Klasse. Mehrere Definitionen können leicht entdeckt werden, die für regelmäßige Symbole (wenn Sie definieren zwei void f() { } der linker erkennt das duplizierte symbol) aber ist ein wenig schwieriger, mit Vorlagen. Mit Vorlagen ist es schwieriger, denn Sie sind in der Regel deklariert und definiert, die in den header-Dateien. Der compiler generiert die Symbole verwendet, die in jeder compilation unit [1] und der linker findet in der Regel mehr als ein entspricht-symbol ( std::vector::push_back() kompiliert, die in jede compilation-unit, die hat einen std::vector und fordert push_back)

Den compiler-flags der Vorlagen-code als 'schwach' symbol, was bedeutet, dass, während das symbol definiert ist hier, es kann auch definiert werden, in einer anderen compilation unit und der linker ist kostenlos entsorgen das symbol ohne, woraus sich ein link-Fehler. Das ist eine Voraussetzung, wenn Sie den link erstellen möchten anderen compilation-units, die mit der gleichen STL-Anlagen, zum Beispiel, mit den gleichen Typen.

Bis zu gcc-4.2, gcc-linux-linker verwirft alle, aber einer der schwachen Symbole ohne weitere Prüfung. Einige linkern (gcc-linker in linux wird in Naher Zukunft nicht als 4.2, weiß nicht 4.3 noch 4.4 könnte es bereits dort) zu tun, überprüfen Sie, dass die anderen 'schwachen' - Symbole sind in der Tat die gleiche und liefern eine Fehlermeldung/Warnung an den Benutzer.

Dein code ist brechen das ODR-in, dass Sie redeclaring die Vorlage in einem anderen Ort. Sie sollten erklären, die Vorlage einmal und die Methoden implementieren, die nach außen als oben gepostet. Jedenfalls, wenn beide Definitionen sind kompatibel (wie Sie in den snippet, das Sie gepostet): alle Mitgliedstaaten Methoden und Attribute sind genau die gleichen und mit der gleichen Qualifizierer (virtual/const-ness...) sollte es werden vom compiler akzeptiert, da es nur eine definition (leider wiederholt) von der Vorlage.

[1] Nur die Methoden, die tatsächlich aufgerufen werden, der code wird kompiliert:

template <typename T>
struct Test
{
   void f() { std::cout << "f()" << std::endl; }
   void g() { std::cout << "g()" << std::endl; }
};
int main()
{
   Test<int> t;
   t.f(); //compiler generates Test<int>::f, but not Test<int>::g
}

InformationsquelleAutor David Rodríguez - dribeas

Weg von der hand, ich bin mir nicht sicher. Vielleicht Vorkompilierte Header wird dieses problem lösen?

Einfach, dies zu ändern ein bisschen, natürlich ist das nicht bei dem problem helfen zu können, verwenden Sie die kleinere template-header in deinem code, aber es könnte helfen, mit compile-Zeit-problem (und somit entfernen die Notwendigkeit für die Vorlage).

InformationsquelleAutor Bill Lynch