Come usare std :: enable_if con una condizione che dipende da un'altra condizione?

Ho una situazione in cui devo distinguere due sovraccarichi, ad esempio, foo, utilizzando std::enable_if. La condizione fornita a std::enable_if dipende da un tipo dipendente del parametro modello di foo.Come usare std :: enable_if con una condizione che dipende da un'altra condizione?

Qual è il modo migliore per esprimere questo utilizzando std::enable_if?

Il seguente codice di test è quello che ho finora. Mi rendo conto che ci sono modi migliori oltre a std::enable_if per ottenere il comportamento che voglio nel codice di test. Tuttavia, la seguente è una versione semplificata del mio caso d'uso che a sua volta richiede std::enable_if.

#include <type_traits> 
#include <cassert> 

struct bar 
{ 
    using baz = int; 
}; 

template<class T> struct is_bar : std::false_type {}; 
template<> struct is_bar<bar> : std::true_type {}; 

template<class Bar> 
struct baz_type 
{ 
    using type = typename Bar::baz; 
}; 


template<class T> 
typename std::enable_if< 
    std::is_integral< 
    typename baz_type<T>::type 
    >::value, 
    int 
>::type 
    foo(T x) 
{ 
    return 7; 
} 

template<class T> 
typename std::enable_if< 
    !is_bar<T>::value, 
    int 
>::type 
    foo(T x) 
{ 
    return 13; 
} 

int main() 
{ 
    assert(foo(bar()) == 7); 
    assert(foo(0) == 13); 

    return 0; 
}

L'uscita compilatore:

$ g++ --version ; echo ; g++ -std=c++11 repro.cpp 
g++ (Ubuntu 4.8.2-19ubuntu1) 4.8.2 
Copyright (C) 2013 Free Software Foundation, Inc. 
This is free software; see the source for copying conditions. There is NO 
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. 


repro.cpp: In instantiation of ‘struct baz_type<int>’: 
repro.cpp:29:3: required by substitution of ‘template<class T> typename std::enable_if<std::is_integral<typename baz_type<Bar>::type>::value, int>::type foo(T) [with T = int]’ 
repro.cpp:49:3: required from here 
repro.cpp:18:33: error: ‘int’ is not a class, struct, or union type 
    using type = typename Bar::baz;

Questo codice non compila perché il enable_if utilizzata nel primo overload di foo dipende dal tipo annidato T::baz. Perché int non ha questo tipo annidato, il codice è illegale.

Qual è il modo corretto di esprimere ciò che voglio?

fonte

2015-03-17 Jared Hoberock

Puoi rendere 'baz_type' un modello alias piuttosto che un modello di classe? – dyp

Un'alternativa è usare diversi 'enable_if's, ad es. utilizzando gli argomenti del modello predefinito. Il primo dovrebbe controllare 'is_bar', quindi il secondo può usare' baz_type :: type'. Lo Standard impone che vengano valutati in ordine lessicale. – dyp

@DanielFrey * scrollata di spalle * Avere il mio upvote. Anche se non lo considererei molto leggibile, almeno non dopo [questa risposta] (http://stackoverflow.com/a/26533335/). – dyp

Mentre ho scritto il seguito su Coliru, @dyp ha già mostrato la parte importante del suo commento. Quello che segue è ciò che funziona e ciò che è, secondo me, abbastanza leggibile:

template< 
    class T, 
    typename=typename std::enable_if<is_bar<T>::value>::type, 
    typename=typename std::enable_if<std::is_integral<typename baz_type<T>::type>::value>::type 
> 
int foo(T x) 
{ 
    return 7; 
} 

template< 
    class T, 
    typename=typename std::enable_if<!is_bar<T>::value>::type 
> 
int foo(T x) 
{ 
    return 13; 
}

Live example

Con C++ 14, si potrebbe usare std::enable_if_t per renderlo ancora più breve.

fonte

2015-03-17 23:14:54

Grazie per il tuo aiuto! –

Come usare std :: enable_if con una condizione che dipende da un'altra condizione?

risposta

Problemi correlati