разрешение мест исходного местоположения в функциях переменного шаблона

В C 20, сведения о контексте вызовой для захвата становятся возможными с помощью std :: source_location. Однако использование его с помощью функций переменного шаблона оказалось сложным из -за позиционирования параметра Source_location.

Положение Prescament

неизменно, вариадные параметры обитают в конце списка параметров. Это препятствовало использованию std :: source_location по следующим причинам:

• first попытка:

  template 
  void debug(Args&&... args, const std::source_location& loc = std::source_location::current());

  , потому что параметры вариадического void debug (const std :: source_location & loc = std :: source_location :: current (), Args && ... args);

вводит двусмысленность для абонентов, поскольку он вмещает неожиданный параметр. Руководство:

• Template struct Debug { Debug (ts && ... ts, const std :: source_location & loc = std :: source_location :: current ()); }; Шаблон Debug (ts && ...) -> debug ; { отладка (5, «a», 3.14f, "foo"); }

  template 
  void debug(const std::source_location& loc = std::source_location::current(),
           Args&&... args);

  через использование руководств по выводу, программисты C могут беспрепятственно включать в себя std :: source_location в функции шаблона варидового шаблона, чтобы захватить функцию.