Verwendung lokaler Klassen mit STL-Algorithmen

Question

Ich habe mich immer gefragt, warum Sie lokal definierte Klassen nicht als Prädikat für STL-Algorithmen verwenden können.

In der Frage: Approaching STL algorithms, lambda, local classes and other approaches, sagt BubbaT erwähnt, dass 'Da der C++ Standard lokale Typen verbietet als Argument verwendet werden sollte'

Beispielcode:

int main() { 
    int array[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 }; 
    std::vector<int> v(array, array+10); 

    struct even : public std::unary_function<int,bool> 
    { 
     bool operator()(int x) { return !(x % 2); } 
    }; 
    std::remove_if(v.begin(), v.end(), even()); // error 
} 

jemand, wo in der Weiß Standard ist die Beschränkung? Was ist der Grund dafür, lokale Typen zu verbieten?

---

EDIT: Da C++ 11, es legal ist, einen lokalen Typen als Template-Argument zu verwenden.

Answer 1

Es ist explizit vom C++ 98/03-Standard verboten.

C++ 11 diese Einschränkung entfernen.

Um vollständigere:

Die Beschränkungen für Typen, die als Parameter Vorlage verwendet werden sind in Artikel 14.3.1 des C++ 03 (und C++ aufgelistet 98) Standard:

ein lokaler Typ, ein Typ ohne Gestänge, eine unbenannte Art oder einen Typ compoundiert von einem dieser Typen darf nicht verwendet als Template-Argument für einen Template Type-Parameter.

template <class T> class Y { /* ... */ }; 
void func() { 
     struct S { /* ... */ }; //local class 
     Y<S> y1; // error: local type used as template-argument 
     Y< S* > y2; // error: pointer to local type used as template-argument } 

Quelle und weitere Informationen: http://www.informit.com/guides/content.aspx?g=cplusplus&seqNum=420

Zusammenfassend war die Beschränkung einen Fehler, der früher festgelegt worden wäre, wenn der Standard schneller wurde weiterentwickelt ...

Das sagte heute die meisten letzten Versionen gewöhnlicher Compiler erlauben dies, zusammen mit Lambda-Ausdrücken.

Answer 2

Die Einschränkung wird in ‚0x entfernt werden, aber ich glaube nicht, dass Sie sie sehr viel würden verwenden. Und das ist, weil C++ - 0x Lambdas haben wird! :)

int main() { 
    int array[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 }; 
    std::vector<int> v(array, array+10); 

    std::remove_if(v.begin() 
       , v.end() 
       , [] (int x) -> bool { return !(x%2); }) 
} 

Meine Syntax in der oben kann nicht perfekt sein, aber die allgemeine Idee ist da.