C++模板问题

Question

有什么办法可以达到指定的行为吗？ 如果有一些技巧，或者这可以使用traits或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 
    } 
}; 

编辑：

你也可以写（简单的方法）

T operator()() const { 

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

Answer 4

有更大的问题与此代码不是第一次出现。例如，如果您要将Functional的返回值转发给另一个函数，那么您不能仅将void函数指定为void，因为如果您有一个函数使用void，则可以没有把它表达出来。当然，你不能用void等变量来创建变量。总而言之，认为虚构是非法的，而不是试图对付它。

还有其他答案已经有明确的专业化答案。

Answer 5

只要说下面的话。它的工作原理非常清楚与T是void，相当于你已经证明

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