result_of Class

  • Artigo

O tipo de retorno de um objeto acessível definido.

template<class Ty>
    struct result_of {
    typedef T0 type;
    };

Parâmetros

  • Ty
    Uma descrição de uma chamada de função (consulte a seção comentários).

Comentários

A classe de modelo define o membro type como um sinónimo para o tipo de retorno de uma chamada de função descrita por seu argumento Tydo modelo.O argumento do modelo deve ser do formulário Fty(T1, T2, ..., TN), onde Fty um tipo é acessível.O modelo determina o tipo de retorno de acordo com o primeiro as seguintes regras que se aplica:

  • se Fty é um ponteiro para funcionar tipo R(*)(U1, U2, ..., UN) o tipo de retorno é R;

  • se Fty é uma referência para o tipo R(&)(U1, U2, ..., UN) de função o tipo de retorno é R;

  • se Fty é um ponteiro para o tipo R(U1::*)(U2, ..., UN) da função de membro o tipo de retorno é R;

  • se Fty é um ponteiro para o tipo do membro de dados R U1::* o tipo de retorno é R;

  • se Fty é uma classe com um typedef result_type membro do tipo de retorno é Fty::result_type;

  • se N é 0 (isto é, Ty é do formulário Fty()) que o tipo de retorno é void;

  • se Fty é uma classe com um modelo de membro chamado result o tipo de retorno é Fty::result<T1, T2, ..., TN>::type;

  • em todos os outros casos é um erro.

Exemplo

 

// std_tr1__functional__result_of.cpp 
// compile with: /EHsc 
#include <functional> 
#include <iostream> 
 
double square(double x) 
    { 
    return (x * x); 
    } 
 
template<class Fun, 
    class Arg> 
    void test_result(const Fun& fun, Arg arg) 
    { 
    typename std::result_of<Fun(Arg)>::type val = fun(arg); 
    std::cout << "val == " << val << std::endl; 
    } 
 
int main() 
    { 
    test_result(&square, 3.0); 
 
    return (0); 
    }

Requisitos

Cabeçalho: <functional>

namespace: STD