一个false_type的编译错误,帮忙看看哈

asker160

下面的代码在gcc4.7下面编译不过

1. 
   
2. #include <type_traits>
   
3. using namespace std;
   
4. template<class T>
   
5. void g(T&& t, std::false_type)
   
6. {
   
7. }
   
8. template<class T>
   
9. void f(T&& t)
   
10. {
    
11.     g(forward<T>(t), std::is_integral<typename remove_reference<T>::type>());
    
12. }
    
13. int main() {
    
14.     int i = 1;
    
15.     f(i);
    
16.     return 0;
    
17. }
    

复制代码

错误提示:
||=== Build: Debug in my (compiler: GNU GCC Compiler) ===|
C:\Users\engineer\Documents\my\main.cpp||In instantiation of 'void f(T&& [with T = int&]'
C:\Users\engineer\Documents\my\main.cpp|15|required from here|
C:\Users\engineer\Documents\my\main.cpp|11|error: no matching function for call to 'g(int&, std::is_integral<int>'|
C:\Users\engineer\Documents\my\main.cpp|11|note: candidate is
C:\Users\engineer\Documents\my\main.cpp|5|note: template<class T> void g(T&&, std::false_type)|
C:\Users\engineer\Documents\my\main.cpp|5|note:   template argument deduction/substitution failed
C:\Users\engineer\Documents\my\main.cpp|11|note:   cannot convert 'std::is_integral<int>()' (type 'std::is_integral<int>') to type 'std::false_type {aka std::integral_constant<bool, false>}'|
||=== Build failed: 1 error(s), 2 warning(s) (0 minute(s), 0 second(s)) ===|

我的代码错在哪里呢?

bruceteen

它要
void g(T&& t, std::true_type)
但你只给了
void g(T&& t, std::false_type)