c++ - 如何根据模板中的类型有条件地包含一个语句？

Question

如果可以将int *或int()函数的参数传递给模板，则如何根据传递给模板的参数来做些不同的事情？

#include <type_traits>


template <typename GetterType>
class Getter
{public: 
    using isInvokable = std::is_invocable<GetterType>;


    using GotValueType = typename std::conditional_t<isInvokable::value,
                                    std::invoke_result<GetterType>,
                                    std::remove_pointer<GetterType>>::type;

    Getter(GetterType a) : getter(a) {}

    GetterType getter;

    GotValueType get() {
        if constexpr (isInvokable::value) return getter();
        else return *getter;
        // EVEN THOUGH INT* ISN'T CALLABLE IT'S STILL TRYING TO CALL GETTER
        }

    
};

int main() 
{
    int a = 0;
    Getter getter(&a);
    getter.get();
}

它不会编译，因为它试图调用模板参数类型，即使我传递给它的参数不可调用。并且它尝试返回一个int *而不是一个int。
编辑:有没有办法有条件地编译一件事或另一件事？我认为constexpr用于模板中的这种事情。
Edit2:无法在使用ISO C++ 17 Standard(std:c++ 17)的Visual Studio 19上编译:

'return': cannot convert from 'int' to 'int *'  

Answer 1

is_invocable和if constexpr是C++ 17的功能。 MSVC 2019默认情况下以C++ 14模式编译。
要启用C++ 17，请将项目配置为使用/std:c++17或/std:c++latest进行编译

自VS 2017开始支持 /std 标志。