泛型运算符T()的enable_if

Question

下面是一个示例程序：

#include <type_traits>
#include <stdio.h>

template <typename X>
struct test
{
    operator int() const { puts("?"); return 0; }
    template <typename T, typename = typename std::enable_if<std::is_same<X, void*>::value, T>::type>
    operator T() const { puts("T"); return 0; }
};

int main()
{
    test<void*> t;
    char* c = (char*)t;
    switch (t)
    {
        case 0: break;
    }
    return 0;
}

这就是g++-4.7给出的错误

user@user:~$ g++-4.7 -std=c++0x test.cpp
test.cpp: In function ‘int main()’:
test.cpp:13:14: error: ambiguous default typeconversion from ‘test<void*>’
test.cpp:13:14: error:   candidate conversions include ‘template<class T, class> test::operator void*() const [with T = T; <template-parameter-2-2> = <template-parameter-1-2>; X = void*]’

g++ 4.6编译它时没有错误，实际上调用了不同的运算符。

有没有办法在g++ 4.7下完成这个任务？

更新:实际上它在4.6中工作，没有任何enable_if .所以这个问题仍然适用，但我现在不确定enable_if是否会有所帮助。

Answer 1

我找到了至少一个“可接受的”解决方案：

#define switch(x) \
    switch( (typename switch_type<__typeof(x)>::type)(x) )

可以扩展哪些switch_type特性来解决特定应用程序相关类型(属性类型)的歧义。

Answer 2

如果在这里向int添加显式强制转换：

switch ((int)t)

那么它应该编译。

我认为这是在抱怨转换是模棱两可的，因为有多个类型可以保存0值。

不过，我使用的是g++ 4.8。