相关疑难解决方法(0)

gcc-4.8接受此代码,但是不是错误,因为非类型参数包相当于void...非法？

template <typename T,
          typename std::enable_if<std::is_integral<T>::value>::type...>
void test(T) {}

我用clang-3.5尝试了这个,也接受了它.这是编译器错误,还是我误解了什么？

下面的完整测试代码,它使用非类型的空参数包来简化enable_if.这几乎与Flaming Dangerzone的Remastered enable_if中的内容相同,除非替换后包装成为void....

#include <type_traits>

template < typename C >
using enable_if = typename std::enable_if<C::value>::type ;

template < typename T, enable_if<std::is_integral<T>>... >
void test(T){} // #1

template < typename T, enable_if<std::is_floating_point<T>>... >
void test(T){} //#2

int main()
{
   test(0);   // calls #1
   test(0.0); // calls #2
   return 0;
}

gcc-4.8编译上面的代码就好了.clang不是,但那是因为它有一个不同的错误http://llvm.org/bugs/show_bug.cgi?id=11723.

考虑以下程序:

#include <type_traits>

enum class dummy {};
template <typename T>
using EnableIf = typename std::enable_if<T::value, dummy>::type;
template <typename T>
using DisableIf = typename std::enable_if<!T::value, dummy>::type;

template <typename T>
struct dependent_true_type : std::true_type {};

template <typename T,
          EnableIf<dependent_true_type<T>>...>
std::true_type f();
template <typename T,
          DisableIf<dependent_true_type<T>>...>
std::false_type f();

static_assert(decltype(f<int>())::value, "");

int main() {}

GCC 4.7 glady接受这个程序.我最近的clang 3.1 build声称呼叫f是模棱两可的.

test.c++:22:24: fatal error: call to 'f' is ambiguous
static_assert(decltype(f<int>())::value, "");
                       ^~~~~~
test.c++:17:16: note: candidate function [with T = int, $1 = <>]
std::true_type …