Negación unaria y binaria

Question

El estándar C++ 1x ha dejado de utilizar las antiguas funciones de enlace STL a favor del más universal std::bind. Sin embargo, parece que std::not1 y std::not2 no están en desuso en favor de un std::not_ universal o algo así. La realidad es que la parte <functional> de la STL, antes de C++ 1x, era realmente engorrosa para trabajar debido a 1) la falta de lambdas, 2) el hecho de que los enlazadores y los funtores de negación requerían un tipo anidado 0dec, lo que significa no podían trabajar con funciones ordinarias, y 3) la falta de plantillas variadic necesitó funciones de enlace y negación separadas dependiendo del número de argumentos.

C++ 1x cambió todo esto, mejorando drásticamente la utilidad de <functional>. Pero por alguna razón, C++ 1x parece haber mejorado todo exceptostd::not1 y std::not2. En realidad, sería bueno tener un estándar de función universal negate, como:

template <class F> 
class negation 
{ 
    public: 

    negation(F f) : m_functor(f) { } 

    template <class... Args> 
    bool operator() (Args&&... args) const 
    { 
     return (!m_functor(args...)); 
    } 

    private: 

    F m_functor;  
}; 

template <class F> 
inline negation<F> not_(F f) 
{ 
    return negation<F>(f); 
} 

Este sería, por supuesto despreciar std::not1 y std::not2 de la misma manera quedaron en desuso las viejas carpetas.

Pregunta (s): 1) He examinado el borrador de C++ 1x, y no veo ninguna mención de una función universal negate. ¿Lo extrañé? 2) ¿Hay alguna razón convincente por la que agregaron un bind universal y desaprobaron los antiguos enlazadores, pero no hicieron lo mismo para las funciones de negación?

Answer 1

1. No te lo perdiste.

2. Motivo convincente? Depende de a quien le preguntes. La falta de esta funcionalidad se discutió, pero no hasta muy tarde en el proceso. Hmm ... No puedo encontrar el papeleo sobre eso en este momento, puede que no haya ninguno.

La mejor solución para esto (imho) es agregar operador!() Para enlazar. Pero para cuando esto sucedió, el comité no estaba de humor para agregar nuevas características a C++ 11. Tal vez vendrá en un informe técnico.

Oh, aquí está el papeleo:

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2010/n3224.html#gb97

Answer 2

efecto, si no de manera oficial, todo del viejo sistema de unión objeto función es obsoleta, ya que lambdas son una solución muy superior. Me resulta más curioso que se molestaron en actualizar el bind y cualquiera de los demás.

Lo más probable es que usted encontrará que esto se debe a que el original boost::bind no proporcionaron una función tal negate, y todo el nuevo mecanismo vinculante TR1/C++ 0x se basa en eso, y nadie se dio cuenta de que faltaba not .