模板默认为具有更多模板的模板

Question

我正在尝试创建一个具有基于另一个模板的模板返回类型的函数，我也想将其默认为默认值。很难解释，但这里是代码：

template<template<typename ReturnType = float, typename> DurationType = std::chrono::duration<ReturnType, std::milli> >
ReturnType tick()
{
    high_resolution_clock::time_point currentPoint = high_resolution_clock::now();
    DurationType elapsed = currentPoint - mStartTimePoint;
    mStartTimePoint = currentPoint;

    return elapsed.count();
}

显然上面没有编译，但我想做的是让函数返回ReturnType（float 或double 可能）并指定返回类型的单位。在这种情况下，我希望它默认为毫秒。这可能吗？

Answer 1

我不清楚你想要表达什么以及你想要默认什么。

例如，您可以定义一个模板ReturnT 类型，具有默认值，并表达一个DurationT 类型，其默认值依赖于ReturnT；像

template <typename ReturnT = float, 
          typename DurationT = std::chrono::duration<ReturnT, std::milli>>
ReturnT tick0 ()
 {
   std::chrono::high_resolution_clock::time_point
      currentPoint { std::chrono::high_resolution_clock::now() };

   DurationT elapsed { currentPoint } ;

   return elapsed.count();
 }

但是可以接受的是，使用DurationT 调用此函数，其返回类型不同于ReturnT？

我的意思是：下面的调用是否可以接受？

foo0<long double, std::chrono::duration<float, std::milli>>();

我想不是。

所以我认为你应该只表达一种类型并派生另一种类型。

你可以表达DurationT，默认std::chrono::duration<float, std::milli>，推导出ReturnT；举例

template <typename DurationT = std::chrono::duration<float, std::milli>>
decltype( std::declval<DurationT>().count() ) tick1 ()
 {
   std::chrono::high_resolution_clock::time_point
      currentPoint { std::chrono::high_resolution_clock::now() };

   DurationT elapsed { currentPoint } ;

   return elapsed.count();
 }

或者你可以表达ReturnT，默认float，并从中推导出DurationT；举例

template <typename ReturnT = float>
ReturnT tick2 ()
 {
   using DurationT = std::chrono::duration<ReturnT, std::milli>;

   std::chrono::high_resolution_clock::time_point
      currentPoint { std::chrono::high_resolution_clock::now() };

   DurationT elapsed { currentPoint } ;

   return elapsed.count();
 }