显然，您无法避免为GUIApplication指定模板参数，因此GUIApplication::getMutexInstance无法工作。

（1）从别名构建GUIApplication

但是，巧妙地使用别名可以帮助您避免重复：

using Mutex = std::mutex;
using Task = MyTask;
using App = GUIApplication<Task, Mutex>;

auto lock = std::scoped_lock(App::getMutexInstance());

字符串

（2）提取GUIApplication的别名

类似地，您可以向GUIApplication添加别名成员，以便更轻松地从中提取模板参数：

template<typename Task_T, typename Mutex_T>
class GUIApplication {
  public:
    using Task = Task_T;
    using Mutex = Mutex_T;
  // ...
};

// ...
using App = GUIApplication<Task, Mutex>;
using Task = App::Task;
using Mutex = App::Mutex;

型
您经常在标准库中看到这种模式，例如std::string::size_type，std::vector::value_type等。

你可以实现一个自定义的类型trait来通过索引获取模板参数。
我已经做了一个依赖于std::tuple和std::tuple_element_t的快速实现，但是你也可以在没有这些的情况下正确地实现它（如果需要的话）。

#include <tuple>
#include <type_traits>

template <int I, typename T>
struct template_param;

template <std::size_t I, template <typename...> typename T, typename... TArgs>
struct template_param<I, T<TArgs...>>
{
    using type = std::remove_pointer_t<std::tuple_element_t<I, std::tuple<TArgs*...>>>;
};

template <int I, typename T>
using template_param_t = template_param<I, T>::type;

字符串
然后在代码中使用它如下：

#include <type_traits>

template <typename TTask, typename TMutex>
struct GuiApplication
{
};

struct Task;
struct Mutex;

int main()
{
    auto app = GuiApplication<Task, Mutex>{};
    static_assert(std::is_same_v<template_param_t<0, decltype(app)>, Task>);
    static_assert(std::is_same_v<template_param_t<1, decltype(app)>, Mutex>);
}

型
这并不能修复编译失败的示例，它只是一种获取模板参数的替代方法。
为了真正修复你的错误，我更喜欢GuiApplication的别名，就像Jan Schultke建议的那样，让编译器推导出所有的东西。