C++函数模板deduction guides(推导指引)语法错误排查

• 核心逻辑错误：C++的自定义推导指引（deduction guide）仅支持类模板，不支持函数模板。你想通过推导指引实现函数模板参数自动推导的思路本身不成立，编译器根本不会将你写的代码识别为合法的推导指引。
• 语法规则错误：就算是类模板的合法推导指引，语法格式也应为类模板名(参数列表) -> 类模板名<对应模板实参>;。你写的代码前面冗余了返回值类型，尾部还重复写了一遍函数声明，完全不符合语法规范。编译器会把这行错误代码解析为普通函数声明，解析到异常尾部符号时就会抛出expected function body after function declarator错误。
• 另外你原函数模板中A、C、D三个模板参数没有出现在函数参数列表中，按照函数模板实参推导的默认规则，这三个参数本身就无法自动推导，哪怕语法写对了推导指引也无法作用于函数模板。

不需要使用推导指引，通过类型萃取+模板默认参数就能完全实现需求：调用时无需显式指定模板参数，传入对应B、E类型实参时自动匹配固定的A、C、D类型。

1. 首先定义类型萃取模板，建立B、E类型到对应A、C、D类型的映射，你之前实现的所有特化逻辑都可以放到萃取的特化实现中：

// 基础萃取模板，按需对不同B、E类型做特化
template<class B, class E>
struct FnTemplateArg {
    using A = SomeClass1;
    using C = SomeClass2;
    using D = SomeClass3;
};

// 特化示例：当B为int、E为double时匹配另一组A/C/D类型
template<>
struct FnTemplateArg<int, double> {
    using A = OtherClass1;
    using C = OtherClass2;
    using D = OtherClass3;
};

2. 改写原函数模板，把可自动推导的B、E参数放到模板参数列表最前，A、C、D参数用萃取结果作为默认值。调用时编译器会自动从实参推导B、E类型，再自动匹配对应的A、C、D类型：

// 模板参数顺序调整：可推导的B、E在前，带默认值的A/C/D在后
template<class B, class E, 
         class A = typename FnTemplateArg<B,E>::A,
         class C = typename FnTemplateArg<B,E>::C,
         class D = typename FnTemplateArg<B,E>::D>
return_type f(param1_type p1, shared_ptr<B> b_ptr, E e)
{
    // 原有逻辑可直接使用A、B、C、D、E，和之前的写法完全兼容
}

改写后直接按普通函数形式调用即可，不需要显式传入任何模板参数，编译器会自动匹配对应类型的实现：

// 调用示例
f(some_p1, make_shared<param2_type>(), param3_value);

如果需要保留原模板参数<A,B,C,D,E>的顺序兼容旧代码，也可以不调整参数顺序，仅给A、C、D加上对应默认值即可，自动推导逻辑不受影响，仅显式指定模板参数时需要按原顺序传参。

内容的提问来源于stack exchange，提问作者Cedric Martens