2016-02-22 13 views
13

Diciamo che ho una certa funzione in overload complicato arbitraria:Determinare quali sovraccarico è stato selezionato

template <class T> void foo(T&&); 
template <class T> void foo(T*); 
void foo(int); 

Voglio sapere, per una data espressione, chefoo() viene chiamato. Ad esempio, dato un certo macro WHICH_OVERLOAD:

using T = WHICH_OVERLOAD(foo, 0);  // T is void(*)(int); 
using U = WHICH_OVERLOAD(foo, "hello"); // U is void(*)(const char*); 
// etc. 

non so dove vorrei usare una cosa del genere - Sono solo curioso di sapere se è possibile.

+3

Nota che il tipo non è sufficiente per distinguere il sovraccarico btw. – Jarod42

+5

Non penso sia possibile. Questo è molto simile ai fondamentali della libreria TS, i tratti del tipo di invocazione, e il secondo è noto per richiedere l'implementazione del magic del compilatore. –

+0

@ T.C. Ah, sì, è quello che pensavo. [Questo] (http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3866.html)? – Barry

risposta

0

Sono probabilmente lontano da quello che avete in mente, ma ho passato il mio tempo su questo e vale la pena di aggiungere una risposta (forse uno completamente sbagliato, anzi):

#include<type_traits> 
#include<utility> 

template <class T> void foo(T&&); 
template <class T> void foo(T*); 
void foo(int); 

template<int N> 
struct choice: choice<N+1> { }; 

template<> 
struct choice<3> { }; 

struct find { 
    template<typename A> 
    static constexpr 
    auto which(A &&a) { 
     return which(choice<0>{}, std::forward<A>(a)); 
    } 

private: 
    template<typename A> 
    static constexpr 
    auto which(choice<2>, A &&) { 
     // do whatever you want 
     // here you know what's the invoked function 
     // it's template<typename T> void foo(T &&) 
     // I'm returning its type to static_assert it 
     return &static_cast<void(&)(A&&)>(foo); 
    } 

    template<typename A> 
    static constexpr 
    auto which(choice<1>, A *) { 
     // do whatever you want 
     // here you know what's the invoked function 
     // it's template<typename T> void foo(T *) 
     // I'm returning its type to static_assert it 
     return &static_cast<void(&)(A*)>(foo); 
    } 

    template<typename A> 
    static constexpr 
    auto 
    which(choice<0>, A a) 
    -> std::enable_if_t<not std::is_same<decltype(&static_cast<void(&)(A)>(foo)), decltype(which(choice<1>{}, std::forward<A>(a)))>::value, decltype(&static_cast<void(&)(A)>(foo))> 
    { 
     // do whatever you want 
     // here you know what's the invoked function 
     // it's void foo(int) 
     // I'm returning its type to static_assert it 
     return &foo; 
    } 
}; 

int main() { 
    float f = .42; 
    static_assert(find::which(0) == &static_cast<void(&)(int)>(foo), "!"); 
    static_assert(find::which("hello") == &static_cast<void(&)(const char *)>(foo), "!"); 
    static_assert(find::which(f) == &static_cast<void(&)(float&)>(foo), "!"); 
    static_assert(find::which(.42) == &static_cast<void(&)(double&&)>(foo), "!"); 
} 

I Cancellerò questa risposta dopo un breve periodo durante il quale mi aspetto che gli esperti mi maledichino. :-)

+0

Se si sta solo enumerando tutti gli overload, non è necessario 'choice <>'. Puoi semplicemente fare in modo che tutti i sovraccarichi restituiscano la firma [demo] (http://coliru.stacked-crooked.com/a/49779a83d15d0e36) – Barry

+0

In realtà, l'obiettivo è dare priorità a tutte le funzioni non basate su modelli (come 'void foo (int); '), quindi ai modelli. In questo modo si stanno enumerando due specializzazioni oltre a tutte le funzioni non basate su modelli disponibili (non solo quella di 'int' del proprio esempio). Sicuramente può essere fatto con meno codice, non quello che hai collegato comunque. – skypjack

+0

Ho letto un tuo commento ad un'altra risposta (* non funzionerà se lo cambio in 'void foo (char)' *).Per questo motivo, pensavo che l'obiettivo fosse quello di ottenere la funzione non basata su modelli, se ne esiste una, altrimenti la specializzazione giusta. La "scelta" semplicemente aiuta a scorrere su di loro. Avrebbe potuto essere eseguito con una sorta di dispatching 'int' /' char', o qualsiasi altra cosa. Ad ogni modo, spero di essere riuscito a spiegare quale fosse l'obiettivo. – skypjack

1

Barry, mi dispiace per l'incomprensione nella mia prima risposta. All'inizio ho capito la tua domanda in modo sbagliato. 'T.C.' ha ragione, che non è possibile tranne in rari casi in cui le tue funzioni hanno tipi di risultati diversi a seconda degli argomenti dati. In questi casi puoi persino ottenere i puntatori delle funzioni.

#include <string> 
#include <vector> 
#include <iostream> 

//template <class T> T foo(T) { std::cout << "template" << std::endl; return {}; }; 
std::string foo(std::string) { std::cout << "string" << std::endl; return {}; }; 
std::vector<int> foo(std::vector<int>) { std::cout << "vector<int>" << std::endl; return {}; }; 
char foo(char) { std::cout << "char" << std::endl; return {}; }; 

template<typename T> 
struct Temp 
{ 
    using type = T (*) (T); 
}; 

#define GET_OVERLOAD(func,param) static_cast<Temp<decltype(foo(param))>::type>(func); 

int main(void) 
{ 
    auto fPtr1 = GET_OVERLOAD(foo, 0); 
    fPtr1({}); 

    auto fPtr2 = GET_OVERLOAD(foo, std::string{"hello"}); 
    fPtr2({}); 

    auto fPtr3 = GET_OVERLOAD(foo, std::initializer_list<char>{}); 
    fPtr3({}); 

    auto fPtr4 = GET_OVERLOAD(foo, std::vector<int>{}); 
    fPtr4({}); 

    auto fPtr5 = GET_OVERLOAD(foo, std::initializer_list<int>{}); 
    fPtr5({}); 

    return 0; 
} 

L'output è:

char 
string 
string 
vector<int> 
vector<int> 
Problemi correlati