有没有办法在C++模板中允许更复杂的类型推断？

template <typename T>
void foo(T arg);

template <typename T>
void bar(decltype(T::value) arg);

// 使用函数参数推断
foo([](){ return 42; }); // T将推断为lambda表达式的返回类型
bar(std::map<int, std::string>{{1, "one"}, {2, "two"}}); // T将推断为std::map<int, std::string>

template <typename T>
using MyMap = std::map<std::string, T>;

MyMap<int> myMap; // 推断为std::map<std::string, int>

template <typename T>
void foo(T arg);

auto lambda = [](){ return 42; };
foo(lambda); // T将推断为lambda表达式的类型

template <typename T>
void foo(T arg);

struct MyStruct {
    int value;
};

foo(decltype(std::declval<MyStruct>().value){}); // T将推断为int