问 如何在使用enable_if时解决此错误：“在‘struct std::enable_if<false，void>’中没有名为‘type’的类型”

EN

我想用不同类型的 T 调用 pushArg() 方法。

下面是相关的代码片段：

//test.hpp
struct Demo {int a};
typedef int (*CALL_CFunction)(struct Demo* );
classs Ctx
    /*push bool */
    template <typename T, 
              typename std::enable_if<std::is_integral<T>::value>::type* = nullptr,
              typename std::enable_if<std::is_same<T, bool>::value>::type* = nullptr>
    int pushArg(T& val)
        std::std << "push bool" <<std::endl;  
        return 0;
    /*push lua_CFunction*/
    template <typename T, 
          typename std::enable_if<std::is_pointer<T>::value>::type* = nullptr,
          typename std::enable_if<std::is_same<CALL_CFunction, T>::value>::type* = nullptr>
    int pushArg(T& val)
        std::cout << "push function" << std::endl;
        return 0;
}

调用 pushArg() 的函数

int foo(Struct Demo *) {return 0;}
Ctx ctx;
ctx.pushArg(foo);

以下是错误消息：

  test.cpp:36:22: error: no matching function for call to ‘ctx::pushArg(int (&)(lua_State*))’
      pCtx->pushArg(foo);
    In file included from test.cpp:1:0:
    test.hpp:131:9: note: candidate: template<class T, typename std::enable_if<std::is_integral<_Tp>::value>::type* <anonymous>, typename std::enable_if<std::is_same<T, bool>::value>::type* <anonymous> > int ctx::pushLuaArg(T&)
         int pushLuaArg(T& val)
    test.hpp:131:9: note:   template argument deduction/substitution failed: