函数模板重载难题

Function template overload puzzle

本文关键字：难题 重载 函数模板      更新时间：2023-10-16

我有一个类和一个类模板

class promise;
template <class... Ts>
class typed_promise;

我打算设计一个转换实用程序来在它们之间转换

template <class... Ts>
typed_promise<Ts...> promise_cast(promise x);
template <class... Ts>
promise promise_cast(typed_promise<Ts...> x);

所以，你可以做以下演员表

promise pms;
typed_promise<int, int> typed_pms;
auto typed_pms2 = promise_cast<int, int>(pms);
auto pms2 = promise_cast(typed_pms);

我还想支持这样的用法

auto typed_pms2 = promise_cast<typed_promise<int, int>>(pms);

相当于

auto typed_pms2 = promise_cast<int, int>(pms);

既然C++不允许部分函数模板专用化，有没有可能实现我想要的？如果可能，我应该怎么做？

当重载变得棘手时，您应该考虑完全不重载的替代方案。

给函数指定不同的名称，也许是add_promise_type和erase_promise_type。那么就不需要"部分专业化"。

template <class... Ts>
typed_promise<Ts...> add_promise_type(promise x);
template <class... Ts>
promise erase_promise_type(typed_promise<Ts...> x);

模拟类型转换通常很诱人，但这是 XY 问题的雷区。你会对更简单的解决方案更满意，它实际上更具体地针对手头的任务。

调度到可以部分专用化的类模板。

template<class... Ts>
struct promise_cast_impl {
    static typed_promise<Ts...> do_cast(promise) {
        // do stuff
    }
};
template<class... Ts>
struct promise_cast_impl<typed_promise<Ts...>> {
    static typed_promise<Ts...> do_cast(promise p){
        return promise_cast_impl<Ts...>::do_cast(std::move(p));
    }
};
template<class... Ts>
auto promise_cast(promise x) 
     -> decltype(promise_cast_impl<Ts...>::do_cast(std::move(x))){
    return promise_cast_impl<Ts...>::do_cast(std::move(x));
}

如果您不在其他任何地方使用 Ts...，则可以通过编写一个仅从 Ts... 计算返回类型的元函数来稍微简化这一点。

相关文章：