使用模板元编程中的SFINAE（Substitution Failure Is Not An Error，替换失败不是错误）技术，在模板参数列表中使用类型列表和逗号分隔符，然后编写函数模板选择器，在选择器中使用模板特化定义返回期望的类型。

示例代码：

#include 
#include 

template struct is_integral { static constexpr bool value = false; };
template<> struct is_integral { static constexpr bool value = true; };
template<> struct is_integral { static constexpr bool value = true; };
template<> struct is_integral { static constexpr bool value = true; };

template
struct SingleType;

template
struct SingleType
{
    using type = typename std::conditional::value, T, typename SingleType::type>::type;
};

template<>
struct SingleType<>
{
    using type = void;
};

int main()
{
    using Type1 = SingleType::type;
    std::cout << typeid(Type1).name() << std::endl;  // Output: int

    using Type2 = SingleType::type;
    std::cout << typeid(Type2).name() << std::endl;  // Output: void

    return 0;
}

在上述代码中，is_integral结构体定义了对整型的判定条件，当参数类型为int、long或long long时，value成员将被设为true，否则为false。SingleType结构体是类型选择器，当多个模板参数被指定时，它将在每一次递归中判断当前模板参数是否满足特定条件，如果是，它将选择该类型作为结果类型，否则继续进行递归，直到最后一个模板参数。如果所有模板参数都不满足特定条件，则结果类型将被定义为void。在main函数中，我们分别演示了从三种不同类型中选择整型和从两种不同类型中选择无效类型的过程。