c++ - std::is_pointer::value为什么不能应用于条件操作符operator ? :

Question

最近正在看《C++标准库－自学教程与参考手册》(第二版)，Section 5.4.1,page 122: 这种写法是没有问题的： {代码...} 而下面这种写法却有问题，实在不理解是怎么回事？ {代码...} 难道operator ?: 不是在判断完条...

阿神 · Answer

You can install clang and see the compilation results of clang.
Specifically, when foo(1), the *val expression is illegal because val is of type int;
And a When foo(int*), *val is of type int, and val is of type int*. This is illegal in ?: expression, and ?: expression requires both subexpressions to be valid. Found std::commen_type.

PS: Regarding your question, what we actually need to do is to write a partial specialization for the pointer type instead of doing it through is_pointer.

Manual template instantiation, for int type:

template <> void foo (const int& val /*=1*/) {
    std::cout << 
        std::is_pointer::value ? 
            *val         //自己看, *1是不是合法的表达式
            : 
            val          //1是合法的表达式
        << std::endl;
}

Let’s look at the instantiation of int*:

template <> void foo (const int*& val) {
    std::cout << 
        std::is_pointer::value ? 
            *val         //*val是int类型, 合法
            : 
            val          //val是int*类型, int*和int类型不能相互的隐式转换
        << std::endl;
}