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); 
}