函數參數類型

Question

我的代碼應該是確定給定函數是否將給定類型作爲參數。回答你的未來「我爲什麼」的問題，我將很快回答：與boost::enable_if模板一起使用。

該代碼使用C++ 11的decltype運算符。我的問題是：是否可以使用c + + 03來實現相同的目標？

#include <iostream> 

template <class F, class P> 
struct has_arg_of_type 
{ 
    static bool const value = false; 
}; 

template <class R, class A> 
struct has_arg_of_type<R (A), A> 
{ 
    static bool const value = true; 
}; 

template <class R, class T, class A> 
struct has_arg_of_type<R (T::*)(A), A> 
{ 
    static bool const value = true; 
}; 

int pisz(int); 

class MyClass 
{ 
public: 
    void pisz(int); 
}; 

int main(int argc, char *argv[]) 
{ 

    std::cout << "MyClass::pisz has the int as an argument? " << has_arg_of_type<decltype(&MyClass::pisz), int>::value << std::endl; // Line 32 
    std::cout << "pisz has the int as an argument? ? " << has_arg_of_type<decltype(pisz), int>::value << std::endl; 
    std::cout << "pisz has the float as an argument? ? " << has_arg_of_type<decltype(pisz), float>::value << std::endl; 

    return 0; 

} 

的錯誤是：

In function 'int main(int, char**)': 
Line 32: error: 'MyClass::pisz(int)' cannot appear in a constant-expression 

Answer 1

我想你可以通過Boost.FunctionTypes手段做到這一點，或者你也可以使用升壓型特徵。