std：：conditional-参数类型“void”无效，即使在测试“void”时也是如此

Question

以下内容在Visual Studio上编译：

template<typename ArgType, typename ReturnType>
struct Test
{
    using FunctionPointerType = std::conditional_t<
        std::is_same_v<ArgType, void>
        , ReturnType(*)()
        , ReturnType(*)(ArgType)
    >;
    FunctionPointerType Func;
};

int main()
{
    Test<void, char> tt;
}

但不在Linux g上编译。我得到的错误是

error : invalid parameter type ‘void’

我知道我不能在模板中使用void，这就是我使用std：：conditional\u t和std：：is\u same\u v的原因。

我看不出有什么不对，有人能告诉我吗？

Answer 1

匿名用户

template<typename ArgType, typename ReturnType>
struct Test
{
  using FunctionPointerType = std::conditional_t<std::is_same_v<ArgType, void>, ReturnType(*)(), ReturnType(*)(ArgType)>;
  FunctionPointerType Func;
};

conditional_t需要3个参数。一个bool和2种类型。

当ArgType为void时，右边的类型为ReturnType（*）（void）--不是合法类型。

错误立即发生。

MSVC有一个将模板视为宏的坏习惯。

类似这样：

template<class...Args>
struct Apply {
  template<template<class...>class Z>
  using To = Z<Args...>;
};

template<class R, class...Args>
using FunctionPtr = R(*)(Args...);

template<typename ArgType, typename ReturnType>
struct Test
{
  using FunctionPointerType =
    std::conditional_t<
      std::is_same_v<ArgType, void>,
      Apply<ReturnType>,
      Apply<ReturnType, ArgType>
    >::template To<FunctionPtr>;
  FunctionPointerType Func;
};

构建2个包应用程序，然后根据选择的包应用程序将其中一个应用于FunctionPtr。

在这里，我避免在条件分支发生之前形成X（void）类型。

Answer 2

在标准中：：conditional\u t

我会建议一个助手traitsfunction\u ptr\t作为替代方案

#include <type_traits>

template<typename RetType, typename... Args> struct function_ptr final {
    using type = RetType(*)(Args...);
};

template <typename RetType> struct function_ptr<RetType, void> final {
    using type = RetType(*)();
};
// alias helper
template<typename RetType, typename... Args>
using function_ptr_t = typename function_ptr<RetType, Args...>::type;


template<typename RetType, typename... Args>
struct Test
{
     function_ptr_t<RetType, Args...> Func;
};

查看演示

请注意，我交换了类template Test中的模板参数，并将第二个模板参数设置为变量，以便测试

这意味着以下措施将起作用：

Test<char> tt1;
static_assert(std::is_same_v<char(*)(), decltype(tt1.Func)>, " are not same!");

Test<char, void> tt2;
static_assert(std::is_same_v<char(*)(), decltype(tt2.Func)>, " are not same!");

Test<void, double> tt3;
static_assert(std::is_same_v<void(*)(double), decltype(tt3.Func)>, " are not same!");

如果不是，您希望将可变参数模板参数替换为正常参数。

Answer 3

这并不能真正回答您的问题（为什么我的代码不起作用），但这是可行的：

template<typename ArgType, typename ReturnType>
struct Test
{
  using FunctionPointerType = ReturnType(*)(ArgType);
  FunctionPointerType Func;
};

template<typename ReturnType>
struct Test<void, ReturnType>
{
  using FunctionPointerType = ReturnType(*)();
  FunctionPointerType Func;
};