C++ template question

Question

Есть ли способ достичь указанного поведения? Если есть какой-то трюк, или это можно сделать, используя черты или enable_if, пожалуйста, дайте мне знать.

template <typename T> struct Functional { 

    T operator()() const { 

     T a(5); 

       // I want this statement to be tranformed into 
       // plain 'return;' in case T = void 
     return a; // <--- 
    } 
}; 

int main() { 

    Functional<int> a; 
    a(); 

    Functional<void> b; 
    b(); // <--- Compilation error here 
} 

Answer 1

Просто специализируются на аннулируются:

template <typename T> struct Functional { 
    T operator()() const { 
     T a(5); 
     return a; 
    } 
}; 
template <> struct Functional<void> { 
    void operator()() const { 
    } 
}; 

Answer 2

вы могли бы использовать специализацию

template <> struct Functional<void> { 

    void operator()() const { 
    } 
}; 

Answer 3

Это должно работать

template <> struct Functional<void> //specialized for 'void' 
{ 
    void operator()() const { 

     //do something 

     return ; //optional 
    } 
}; 

EDIT:

Вы также можете написать (Simpler подход)

T operator()() const { 

    return T(5); // static_cast<> not even required 
} 

Answer 4

Есть большие проблемы с этим кодом, чем кажется на первый взгляд. Например, если вы должны переслать возвращаемое значение Functional в другую функцию, тогда вы можете не просто специфицировать Functional для void - вся партия должна быть указана для void, так как если у вас есть функция, которая принимает значение void, вы можете Не передавайте это пустое выражение. И, конечно, вы не можете создавать переменные с void и т. П. В целом, проще сказать, что void является незаконным, чем пытаться справиться с ним.

Есть и другие ответы, которые уже имеют явный ответ специализации.

Answer 5

Просто скажите следующее. Он работает отлично с T быть void и эквивалентен коду вы показали

T operator()() const { 
    return static_cast<T>(5); 
}