返回与C 中Variadic模板相对应的元组

Return a tuple corresponding to variadic template in C++17

本文关键字：相对 元组 Variadic 返回      更新时间：2023-10-16

如何从获取variadic模板列表的函数中返回元组？元组类型应与参数类型相同。

template <typename ... T, typename D>
std::tuple<T...> foo(D&& Duration) {
  // How to do this?
  if constexpr(sizeof... (args) > 0) {
    ... 
  }
  // What to return?
}

这个想法是使用C 17结构绑定，以便我可以做类似的事情：

auto var = std::chrono::seconds(19874);
auto [h, m] = foo<std::chrono::hours, std::chrono::minutes> (var);
auto [m, s, ms] = foo<std::chrono::minutes, std::chrono::seconds, std::chrono::milliseconds>(var);

在两种情况下，总和（H：M或M：S：MS）应为19874秒。

此代码应执行您的要求。它使用每种Ouptut类型的chrono_extract的调用列表来构建元组。初始化列表参数是按照标准处理的顺序处理的，因此，即使使用逗号的使用可能看起来像是这样，这也不应该对任何重新排序敏感。chrono_extract函数将输入持续时间投入到输出持续时间的类型上，然后从输入中减去输出（通过参考传递，因此其值将反映在chrono_components中）。为了正确运行该算法，我们需要在列表中找到最小的时间组件，并以最小的分辨率运行所有计算（否则会有持续时间施放错误）。还提供了一个主张，以确保返回持续时间类型的顺序减小，因为如果函数以不同的顺序为单位，则该函数将无法正常运行。可以添加的一种可能的增强功能是，如果分解中剩下任何东西（如下代码中的第一个测试案例中，在元组中返回元组中的"剩余"（与输入类型相同）。

#include <chrono>
#include <iostream>
#include <tuple>
#include <type_traits>
template <typename lhs_t, typename rhs_t, typename... other_ts>
constexpr void assert_decreasing_ratios() {
    static_assert(std::ratio_greater_v<typename lhs_t::period,
                                       typename rhs_t::period>,
                  "Periods are non-decreasing.");
    if constexpr (sizeof...(other_ts)) {
        assert_decreasing_ratios<rhs_t, other_ts...>();
    }
}
template <typename return_duration_t, typename input_duration_t>
return_duration_t chrono_extract(input_duration_t& value) {
    auto extracted = std::chrono::duration_cast<return_duration_t>(value);
    value -= extracted;
    return extracted;
}
template <typename... return_ts, typename duration_t>
std::tuple<return_ts...> chrono_components(duration_t value) {
    assert_decreasing_ratios<return_ts...>();
    using smallest_t = std::tuple_element_t<sizeof...(return_ts) - 1,
                                            std::tuple<return_ts...>>;
    auto small_value = std::chrono::duration_cast<smallest_t>(value);
    return {chrono_extract<return_ts>(small_value)...};
}
int main()
{
    std::chrono::seconds before(19874);
    {
        auto [h, m] = chrono_components<std::chrono::hours,
                                        std::chrono::minutes>(before);
        std::chrono::seconds after(h + m);
        std::cout << h.count() << " hours " 
                  << m.count() << " minutes = "
                  << after.count() << " secondsn";
    }
    {
        auto [m, s, ms] = chrono_components<std::chrono::minutes,
                                            std::chrono::seconds,
                                            std::chrono::milliseconds>(before);
        auto after =
            std::chrono::duration_cast<std::chrono::seconds>(m + s + ms);
        std::cout << m.count() << " minutes " 
                  << s.count() << " seconds " 
                  << ms.count() << " milliseconds = "
                  << after.count() << " secondsn";
    }
}

输出

5 hours 31 minutes = 19860 seconds
331 minutes 14 seconds 0 milliseconds = 19874 seconds

第一行显示秒值已被截断，因为它不是确切的分钟数。

相关文章：