Ich würde gerne innerhalb eines CRTP-Konstrukts eine Template-Memberfunktion benutzen, deren Template-Argument sich nicht anhand ihrer Parameter ableiten läßt. Ich gebe also explizit den Typ an, für den die Funktion instanziiert werden soll. Aber seht selbst:

template <typename D>
struct Base {
    void bar() {
        D & d = *static_cast<D*>(this);
        d.foo<int>();   // kompiliert nicht!
    }
};

struct Derived : public Base<Derived> {
    template <typename T>
    void foo() { }
};

int main() {
    Derived x;
    x.foo<int>();       // funktioniert!
    x.bar();
}

Mein gcc sagt dazu:

test.cc: In member function ‘void Base<D>::bar()’:
test.cc:5: error: expected primary-expression before ‘int’
test.cc:5: error: expected ‘;’ before ‘int’

Daraus werde ich nicht wirklich schlau. Wie man sieht kann ich die Funktion anderswo problemlos auf die selbe Weise aufrufen, also warum nicht dort in der Basisklasse?

Danke schonmal im Voraus!

d.template foo<int>();