C++20函数模板中可变参数与Concept结合使用的异常问题

我在Microsoft Visual Studio 2022/MSVC编译器环境下编写一个名为average的可变参数函数模板，定义了is_number约束概念以及两个averageWrapper包装函数：

template <typename Type>
concept is_number = std::integral<std::remove_cvref_t<Type>> || std::floating_point<std::remove_cvref_t<Type>>;

template <typename Type>
    requires restraints::is_number<Type>
[[nodiscard]] inline auto averageWrapper(Type&& number)
{
    return number;
}

template <typename Type, class... Args>
    requires restraints::is_number<Type> && (restraints::is_number<Args>&& ...)
[[nodiscard]] inline auto averageWrapper(Type&& head, Args&&... args)
{
    return head + averageWrapper(args...);
}

当average函数模板不加约束时：

template <typename Type, class... Args>
[[nodiscard]] inline auto average(Type&& head, Args&&... args) noexcept
{
    return averageWrapper(head, args...) / (sizeof... (args) + 1); 
}

const std::int64_t num1 { 50 };
const std::int64_t num2 { -60 };
const std::int64_t num3 { 0 };
const double num4 { 12.5 };
const std::int32_t num5 { 10 };

std::cout << average(num1, num2, num3, num4, num5) << std::endl;

Intellisense无波浪线提示，函数可正常运行。

但为average函数模板添加约束后：

template <typename Type, class... Args>
    requires restraints::is_number<Type> && (restraints::is_number<Args>&& ...)
[[nodiscard]] inline auto average(Type&& head, Args&&... args) noexcept
{
    return averageWrapper(head, args...) / (sizeof... (args) + 1);
}

const std::int64_t num1 { 50 };
const std::int64_t num2 { -60 };
const std::int64_t num3 { 0 };
const double num4 { 12.5 };
const std::int32_t num5 { 10 };

// Intellisense提示“没有匹配参数列表的函数模板实例”
std::cout << average(num1, num2, num3, num4, num5) << std::endl;

此时Intellisense出现波浪线报错，但代码仍能正常运行，请问这是什么原因？

原因分析 #

这是VS2022的Intellisense代码分析引擎和MSVC实际编译器之间的实现不同步导致的假阳性报错：

• 你的约束写法完全正确：restraints::is_number<Type> && (restraints::is_number<Args>&& ...)能够准确约束所有参数为数值类型，MSVC编译器在实际编译阶段可以正确识别约束并通过编译。
• Intellisense的代码分析逻辑和编译器的模板约束检查逻辑并非完全一致，对于可变参数模板的折叠表达式约束，部分版本的Intellisense存在识别缺陷，错误判定约束不满足，从而抛出无匹配实例的提示，但实际编译器能正确处理模板实例化。

额外代码优化建议 #

你的is_number概念可以简化：C++20标准中std::integral和std::floating_point概念会自动忽略参数的cv-ref限定，因此无需手动调用std::remove_cvref_t，简化后代码如下：

template <typename Type>
concept is_number = std::integral<Type> || std::floating_point<Type>;

这不会影响原有功能，只是让代码更简洁。

内容的提问来源于stack exchange，提问作者The Lonesome Coder