Clangd中模板参数在占位类型约束中的选择问题解析

在Clangd静态分析工具中，我们发现了一个关于模板参数在占位类型约束中无法正确选择的问题。这个问题会影响代码导航功能，特别是当开发者尝试通过"跳转到定义"或悬停查看模板参数信息时。

问题背景

当使用C++20概念(concept)和占位类型(placeholder type)结合模板参数时，Clangd的选择机制会出现异常。具体表现为在类似D<T> auto这样的语法结构中，工具无法正确识别和选择模板参数T的位置。

问题示例

考虑以下代码示例：

template <typename T, typename K>
concept D = true;

template<typename T>
void g(D<T> auto abc) {}

在这个例子中，当开发者尝试：

1. 在D<T> auto上执行"跳转到定义"操作时，光标会错误地跳转到参数abc而非预期的位置
2. 悬停在模板参数T上时，无法显示应有的提示信息

技术原因分析

经过深入调查，发现问题根源在于InventTemplateParameter函数中角度括号位置信息的传播缺失。具体来说：

1. 在生成ConceptReference表示D<T>时，系统错误地将整个D的源范围作为引用范围，而非正确包含模板参数T的范围
2. 这导致SelectionTester::mayHit函数在处理参数列表内的选择时总是返回false
3. 问题的本质是TemplateArgumentListInfo构造时未正确传递源位置信息

解决方案

修复方案相对直接：需要将TemplateArgumentListInfo的构造函数切换为使用源位置版本。这一修改确保了：

1. 角度括号位置信息被正确传播
2. 模板参数的选择范围被准确记录
3. 代码导航功能能够正确定位到模板参数位置

影响范围

该修复主要影响以下开发场景：

1. 使用C++20概念约束的模板代码
2. 结合占位类型(auto)使用的模板参数
3. 依赖Clangd进行代码导航和提示的功能

总结

这个问题的解决不仅修复了特定场景下的代码导航功能，也增强了Clangd对现代C++特性的支持。对于使用概念和占位类型的开发者来说，这意味着更准确和可靠的开发体验。同时，这也提醒我们在处理模板元编程相关功能时，需要特别注意源位置信息的完整传播。