Utilizzo di classi locali con algoritmi STL

Question

Mi sono sempre chiesto perché non è possibile utilizzare classi definite localmente come predicati per gli algoritmi STL.

Nella domanda: Approaching STL algorithms, lambda, local classes and other approaches, BubbaT menziona dice che 'Poiché lo standard C++ vieta tipi locali da utilizzare come argomenti'

codice Esempio:

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 
} 

Qualcuno sa dove nel lo standard è la restrizione? Qual è la logica per non consentire i tipi locali?

---

EDIT: Dal momento che C++ 11, è legale per utilizzare un tipo di locale come argomento di template.

Answer 1

È espressamente vietato dallo standard C++ 98/03.

C++ 11 rimuovere tale restrizione.

per essere più completo:

Le limitazioni sui tipi che sono utilizzato come parametri di modello sono elencati all'articolo 14.3.1 del C++ 03 (e C++ 98) norma:

un tipo locale, un tipo senza collegamento, un tipo o di un tipo anonimo aggravate da qualsiasi di questi tipi non devono essere utilizzati come argomento modello per un parametro di tipo di modello .

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 } 

Fonte e maggiori dettagli: http://www.informit.com/guides/content.aspx?g=cplusplus&seqNum=420

In sintesi, la restrizione è stata un errore che sarebbe stato fissato prima, se il principio è stato evolvendo più velocemente ...

che ha detto oggi la maggior parte delle ultime versioni di compilatori comuni lo consente, oltre a fornire espressioni lambda.

Answer 2

La restrizione verrà rimossa in "0x", ma non penso che le userete molto. E questo perché C++ - 0x avrà lambda! :)

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); }) 
} 

La mia sintassi sopra può non essere perfetta, ma l'idea generale è lì.