range-v3 no operator "|" matches these operands

未关闭
#13,619 1 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

还没有人认领这个 Issue。

评估

难度
4/5
预计耗时
3-5 天
新手友好度
35/100
Issue 类型
缺陷
描述清晰度
描述清楚
活跃度
停滞
技术栈
cmake, cpp, vscode
领域
devtools, tooling

调研方向

从 CMakeLists.txt 和 main.cpp 的复现开始，使用列出的 range-v3 设置和 IntelliSense 诊断来确认错误的 operator| 错误。跟踪 C/C++ 扩展对所示 range 管道的 IntelliSense 处理；完成的标准是有效代码能够在没有所报告的错误诊断的情况下编译。

由索引模型根据 Issue 内容生成。

描述

bug Language Service parser verified Visual Studio
Environment
  • OS and Version: Windows 10 Version 10.0.19045 Build 19045
  • VS Code Version: 1.100.2
  • C/C++ Extension Version: 1.25.3

I've also seen this issue using SSH remote on Ubuntu 22.04, Same VSC and Extension version.

Bug Summary and Steps to Reproduce

Bug Summary:
Piping certain range views seems to cause Intellisense to believe there is no matching operator taking said view as the first argument. Similar issues have popped up in the past and many have been closed for staleness or seen fixes for the specific reproduction. Since the issue appears to persist, a new issue has been opened.

Steps to reproduce:
Run intellisense on a file containing certain combinations of ranges::views::*

A new cmake project was created as follows

# CMakeLists.txt
cmake_minimum_required(VERSION 3.22)

project(range_mre)

set(CMAKE_CXX_STANDARD 17)
set(CMAKE_CXX_STANDARD_REQUIRED TRUE)

include(FetchContent)

FetchContent_Declare(
    range-v3
    GIT_REPOSITORY "https://github.com/ericniebler/range-v3.git"
    GIT_TAG "0.12.0"
    GIT_SHALLOW TRUE
)
FetchContent_MakeAvailable(range-v3)

add_executable(range_mre main.cpp)

target_link_libraries(range_mre PRIVATE range-v3::range-v3)

// main.cpp
#include <string>
#include <utility>
#include <vector>

#include <range/v3/range/conversion.hpp>
#include <range/v3/view/map.hpp>
#include <range/v3/view/cache1.hpp>

using str_pair = std::pair<std::string, std::string>;

int main() {
    std::vector<str_pair> pairs = {
        {"1", "one"},
        {"2", "two"},
        {"3", "three"}
    };
    auto view_0 = pairs | ranges::views::keys | ranges::views::cache1;
    auto view_1 = pairs | ranges::views::cache1 | ranges::views::keys;
    auto vec = pairs | ranges::views::cache1 | ranges::to_vector;
    return 0;
}

This code obviously doesn't do anything of value and is just intended to show the issue. The code where I first encountered this issue piped keys to to_vector but the issue described appears to happen in multiple situations.

Expected behavior:
view_0, view_1, and vec should all pass Intellisense. Instead, view_0 and vec produce an error. This code successfully compiles. The full json of that error has been included as part of the logs.

Configuration and Logs
c_cpp_properties.json has not been created.
Log Diagnostics:

-------- Diagnostics - 5/20/2025, 5:41:35 PM
Version: 1.25.3
Current Configuration:
{
    "name": "Win32",
    "includePath": [
        "d:/Repos/range-mre/**"
    ],
    "defines": [
        "_DEBUG",
        "UNICODE",
        "_UNICODE"
    ],
    "windowsSdkVersion": "10.0.22621.0",
    "compilerPath": "cl.exe",
    "cStandard": "c17",
    "cppStandard": "c++17",
    "intelliSenseMode": "windows-msvc-x64",
    "compilerPathInCppPropertiesJson": "cl.exe",
    "intelliSenseModeIsExplicit": false,
    "cStandardIsExplicit": false,
    "cppStandardIsExplicit": false,
    "mergeConfigurations": false,
    "recursiveIncludes": {},
    "recursiveIncludesReduceIsExplicit": false,
    "recursiveIncludesPriorityIsExplicit": false,
    "recursiveIncludesOrderIsExplicit": false,
    "compilerPathIsExplicit": false,
    "configurationProvider": "ms-vscode.cmake-tools",
    "browse": {
        "limitSymbolsToIncludedHeaders": true
    }
}
Modified Settings:
{
    "C_Cpp.formatting": "clangFormat",
    "C_Cpp.clang_format_fallbackStyle": "none",
    "C_Cpp.loggingLevel": "Debug"
}
Additional Tracked Settings:
{
    "editorTabSize": 4,
    "editorInsertSpaces": true,
    "editorAutoClosingBrackets": "languageDefined",
    "filesEncoding": "utf8",
    "filesAssociations": {},
    "filesExclude": {
        "**/.git": true,
        "**/.svn": true,
        "**/.hg": true,
        "**/.DS_Store": true,
        "**/Thumbs.db": true
    },
    "filesAutoSaveAfterDelay": false,
    "editorInlayHintsEnabled": true,
    "editorParameterHintsEnabled": true,
    "searchExclude": {
        "**/node_modules": true,
        "**/bower_components": true,
        "**/*.code-search": true
    },
    "workbenchSettingsEditor": "ui"
}
Custom browse configuration: 
{
    "browsePath": [
        "d:/repos/range-mre/build/cmakefiles/55f12aefc56a5bdd10d2bcccc6b633db",
        "d:/repos/range-mre/build/_deps/range-v3-src/include",
        "d:/repos/range-mre",
        "d:/repos/range-mre/build/_deps/range-v3-src/include/concepts",
        "d:/repos/range-mre/build/_deps/range-v3-src/include/meta",
        "d:/repos/range-mre/build/_deps/range-v3-src/include/range/v3",
        "d:/repos/range-mre/build/_deps/range-v3-src/include/range/v3/action",
        "d:/repos/range-mre/build/_deps/range-v3-src/include/range/v3/algorithm",
        "d:/repos/range-mre/build/_deps/range-v3-src/include/range/v3/algorithm/aux_",
        "d:/repos/range-mre/build/_deps/range-v3-src/include/range/v3/detail",
        "d:/repos/range-mre/build/_deps/range-v3-src/include/range/v3/experimental/utility",
        "d:/repos/range-mre/build/_deps/range-v3-src/include/range/v3/experimental/view",
        "d:/repos/range-mre/build/_deps/range-v3-src/include/range/v3/functional",
        "d:/repos/range-mre/build/_deps/range-v3-src/include/range/v3/iterator",
        "d:/repos/range-mre/build/_deps/range-v3-src/include/range/v3/numeric",
        "d:/repos/range-mre/build/_deps/range-v3-src/include/range/v3/range",
        "d:/repos/range-mre/build/_deps/range-v3-src/include/range/v3/utility",
        "d:/repos/range-mre/build/_deps/range-v3-src/include/range/v3/view",
        "d:/repos/range-mre/build/_deps/range-v3-src/include/std/detail"
    ],
    "compilerPath": "c:/program files/microsoft visual studio/2022/community/vc/tools/msvc/14.43.34808/bin/hostx64/x64/cl.exe",
    "compilerArgs": [],
    "compilerFragments": []
}
cpptools version (native): 1.25.3.0
Current database path: C:\USERS\CAMERON\APPDATA\LOCAL\MICROSOFT\VSCODE-CPPTOOLS\40CCDF4D64A001237A2F5EFE6EF6943D\.BROWSE.VC.DB
Translation Unit Mappings:
[ D:\Repos\range-mre\main.cpp - source TU]:
Translation Unit Configurations:
[ D:\Repos\range-mre\main.cpp ]
    Process ID: 17884
    Memory Usage: 223 MB
    Compiler Path: C:\Program Files\Microsoft Visual Studio\2022\Community\VC\Tools\MSVC\14.43.34808\bin\Hostx64\x64\cl.exe
    Include paths:
        include: D:\Repos\range-mre\build\_deps\range-v3-src\include
        system include: C:\Program Files\Microsoft Visual Studio\2022\Community\VC\Tools\MSVC\14.43.34808\include
        system include: C:\Program Files\Microsoft Visual Studio\2022\Community\VC\Tools\MSVC\14.43.34808\atlmfc\include
        system include: C:\Program Files (x86)\Windows Kits\10\Include\10.0.22621.0\um
        system include: C:\Program Files (x86)\Windows Kits\10\Include\10.0.22621.0\ucrt
        system include: C:\Program Files (x86)\Windows Kits\10\Include\10.0.22621.0\shared
        system include: C:\Program Files (x86)\Windows Kits\10\Include\10.0.22621.0\winrt
        system include: C:\Program Files (x86)\Windows Kits\10\Include\10.0.22621.0\cppwinrt
    Defines:
        WIN32
        _WINDOWS
    Standard Version: ms_c++17
    IntelliSense Mode: windows-msvc-x64
    Other Flags:
        --no_ms_permissive
Total Memory Usage: 223 MB

------- Workspace parsing diagnostics -------
Number of files discovered (not excluded): 8402
Number of files parsed: 804

LSP Debug Log:

LSP: (received) cpptools/restartIntelliSenseForFile: file:///d%3A/Repos/range-mre/main.cpp
LSP: (invoked) cpptools/restartIntelliSenseForFile: file:///d%3A/Repos/range-mre/main.cpp
Shutting down IntelliSense server: D:\Repos\range-mre\main.cpp
Intellisense update pending for: file:///d%3A/Repos/range-mre/main.cpp
IntelliSense update scheduled and TU acquisition started for: file:///d%3A/Repos/range-mre/main.cpp
sending compilation args for D:\Repos\range-mre\main.cpp
  include: D:\REPOS\RANGE-MRE\BUILD\_DEPS\RANGE-V3-SRC\INCLUDE
  system include: C:\PROGRAM FILES\MICROSOFT VISUAL STUDIO\2022\COMMUNITY\VC\TOOLS\MSVC\14.43.34808\INCLUDE
  system include: C:\PROGRAM FILES\MICROSOFT VISUAL STUDIO\2022\COMMUNITY\VC\TOOLS\MSVC\14.43.34808\ATLMFC\INCLUDE
  system include: C:\PROGRAM FILES (X86)\WINDOWS KITS\10\INCLUDE\10.0.22621.0\UM
  system include: C:\PROGRAM FILES (X86)\WINDOWS KITS\10\INCLUDE\10.0.22621.0\UCRT
  system include: C:\PROGRAM FILES (X86)\WINDOWS KITS\10\INCLUDE\10.0.22621.0\SHARED
  system include: C:\PROGRAM FILES (X86)\WINDOWS KITS\10\INCLUDE\10.0.22621.0\WINRT
  system include: C:\PROGRAM FILES (X86)\WINDOWS KITS\10\INCLUDE\10.0.22621.0\CPPWINRT
  define: _DEBUG
  define: _MT
  define: _DLL
  define: WIN32
  define: _WINDOWS
  other: --no_ms_permissive
  stdver: ms_c++17
  intelliSenseMode: windows-msvc-x64
LSP: (received) cpptools/getCodeActions: file:///d%3A/Repos/range-mre/main.cpp (id: 1469)
LSP: (invoked) cpptools/getCodeActions: file:///d%3A/Repos/range-mre/main.cpp (id: 1469)
LSP: Sending response (id: 1469)
Update IntelliSense time (sec): 0.941
LSP: (received) cpptools/getFoldingRanges: file:///d%3A/Repos/range-mre/main.cpp (id: 1470)
LSP: (invoked) cpptools/getFoldingRanges: file:///d%3A/Repos/range-mre/main.cpp (id: 1470)
LSP: Sending response (id: 1470)
LSP: (received) cpptools/getCodeActions: file:///d%3A/Repos/range-mre/main.cpp (id: 1471)
LSP: (invoked) cpptools/getCodeActions: file:///d%3A/Repos/range-mre/main.cpp (id: 1471)
LSP: Sending response (id: 1471)
LSP: (received) cpptools/getFoldingRanges: file:///d%3A/Repos/range-mre/main.cpp (id: 1472)
LSP: (invoked) cpptools/getFoldingRanges: file:///d%3A/Repos/range-mre/main.cpp (id: 1472)
LSP: Sending response (id: 1472)

Problem Payload:

[{
	"resource": "/d:/Repos/range-mre/main.cpp",
	"owner": "C/C++: IntelliSense",
	"code": "349",
	"severity": 8,
	"message": "no operator \"|\" matches these operands",
	"source": "C/C++",
	"startLineNumber": 17,
	"startColumn": 47,
	"endLineNumber": 17,
	"endColumn": 48,
	"relatedInformation": [
		{
			"startLineNumber": 17,
			"startColumn": 47,
			"endLineNumber": 17,
			"endColumn": 48,
			"message": "operand types are: ranges::transform_view<ranges::ref_view<std::vector<str_pair, std::allocator<str_pair>>>, ranges::detail::get_first> | const ranges::views::view_closure<ranges::views::cache1_fn>",
			"resource": "/d:/Repos/range-mre/main.cpp"
		},
		{
			"startLineNumber": 17,
			"startColumn": 47,
			"endLineNumber": 17,
			"endColumn": 48,
			"message": "function \"std::operator|\" does not match because argument #1 does not match parameter",
			"resource": "/d:/Repos/range-mre/main.cpp"
		},
		{
			"startLineNumber": 17,
			"startColumn": 47,
			"endLineNumber": 17,
			"endColumn": 48,
			"message": "candidate function template \"ranges::views::view_closure_base_ns::operator|(ranges::views::view_closure<ViewFn> vw, Pipeable pipe)->concepts::return_t<ranges::views::view_closure<ranges::composed<Pipeable, ViewFn>>, std::enable_if_t<ranges::is_pipeable_v<Pipeable> && !concepts::detail::instance_<bool>, void>>\" failed deduction",
			"resource": "/d:/Repos/range-mre/main.cpp"
		},
		{
			"startLineNumber": 17,
			"startColumn": 47,
			"endLineNumber": 17,
			"endColumn": 48,
			"message": "candidate function template \"ranges::views::view_closure_base_ns::operator|(Rng &&, const ranges::views::view_closure<ViewFn> &)->concepts::return_t<Rng, std::enable_if_t<(ranges::range<Rng> && !ranges::viewable_range<Rng>) && !concepts::detail::instance_<bool>, void>>\" failed deduction",
			"resource": "/d:/Repos/range-mre/main.cpp"
		},
		{
			"startLineNumber": 17,
			"startColumn": 47,
			"endLineNumber": 17,
			"endColumn": 48,
			"message": "candidate function template \"ranges::views::view_closure_base_ns::operator|(Rng &&rng, ranges::views::view_closure<ViewFn> vw)\" failed deduction",
			"resource": "/d:/Repos/range-mre/main.cpp"
		},
		{
			"startLineNumber": 17,
			"startColumn": 47,
			"endLineNumber": 17,
			"endColumn": 48,
			"message": "built-in operator|(<promoted integral>, <promoted integral>) does not match because argument #1 does not match parameter",
			"resource": "/d:/Repos/range-mre/main.cpp"
		}
	]
},{
	"resource": "/d:/Repos/range-mre/main.cpp",
	"owner": "C/C++: IntelliSense",
	"code": "349",
	"severity": 8,
	"message": "no operator \"|\" matches these operands",
	"source": "C/C++",
	"startLineNumber": 19,
	"startColumn": 46,
	"endLineNumber": 19,
	"endColumn": 47,
	"relatedInformation": [
		{
			"startLineNumber": 19,
			"startColumn": 46,
			"endLineNumber": 19,
			"endColumn": 47,
			"message": "operand types are: ranges::cache1_view<ranges::ref_view<std::vector<str_pair, std::allocator<str_pair>>>> | const ranges::detail::to_container::closure<ranges::detail::from_range<std::vector>, ranges::detail::to_container::fn<ranges::detail::from_range<std::vector>>>",
			"resource": "/d:/Repos/range-mre/main.cpp"
		},
		{
			"startLineNumber": 19,
			"startColumn": 46,
			"endLineNumber": 19,
			"endColumn": 47,
			"message": "function \"std::operator|\" does not match because argument #1 does not match parameter",
			"resource": "/d:/Repos/range-mre/main.cpp"
		},
		{
			"startLineNumber": 19,
			"startColumn": 46,
			"endLineNumber": 19,
			"endColumn": 47,
			"message": "candidate function template \"ranges::detail::operator|(ranges::detail::to_container::closure<MetaFn, ranges::detail::to_container::fn<MetaFn>> (*)(ranges::detail::to_container), Pipeable pipe)->concepts::return_t<ranges::detail::to_container::closure<MetaFn, ranges::composed<Pipeable, ranges::detail::to_container::fn<MetaFn>>>, std::enable_if_t<ranges::is_pipeable_v<Pipeable> && !concepts::detail::instance_<bool>, void>>\" failed deduction",
			"resource": "/d:/Repos/range-mre/main.cpp"
		},
		{
			"startLineNumber": 19,
			"startColumn": 46,
			"endLineNumber": 19,
			"endColumn": 47,
			"message": "candidate function template \"ranges::detail::operator|(Rng &&rng, ranges::detail::to_container::closure<MetaFn, ranges::detail::to_container::fn<MetaFn>> (*)(ranges::detail::to_container))->concepts::return_t<ranges::detail::to_container::container_t<MetaFn, Rng>, std::enable_if_t<ranges::invocable<ranges::detail::to_container::fn<MetaFn>, Rng> && !concepts::detail::instance_<bool>, void>>\" failed deduction",
			"resource": "/d:/Repos/range-mre/main.cpp"
		},
		{
			"startLineNumber": 19,
			"startColumn": 46,
			"endLineNumber": 19,
			"endColumn": 47,
			"message": "candidate function template \"ranges::detail::to_container_closure_base_ns::operator|(ranges::detail::to_container::closure<MetaFn, Fn> sh, Pipeable pipe)->concepts::return_t<ranges::detail::to_container::closure<MetaFn, ranges::composed<Pipeable, Fn>>, std::enable_if_t<ranges::is_pipeable_v<Pipeable> && !concepts::detail::instance_<bool>, void>>\" failed deduction",
			"resource": "/d:/Repos/range-mre/main.cpp"
		},
		{
			"startLineNumber": 19,
			"startColumn": 46,
			"endLineNumber": 19,
			"endColumn": 47,
			"message": "candidate function template \"ranges::detail::to_container_closure_base_ns::operator|(Rng &&rng, ranges::detail::to_container::closure<MetaFn, Fn> fn)\" failed deduction",
			"resource": "/d:/Repos/range-mre/main.cpp"
		},
		{
			"startLineNumber": 19,
			"startColumn": 46,
			"endLineNumber": 19,
			"endColumn": 47,
			"message": "candidate function template \"ranges::detail::to_container_closure_base_ns::operator|(Rng &&rng, ranges::detail::to_container::closure<MetaFn, Fn> fn)\" failed deduction",
			"resource": "/d:/Repos/range-mre/main.cpp"
		},
		{
			"startLineNumber": 19,
			"startColumn": 46,
			"endLineNumber": 19,
			"endColumn": 47,
			"message": "built-in operator|(<promoted integral>, <promoted integral>) does not match because argument #1 does not match parameter",
			"resource": "/d:/Repos/range-mre/main.cpp"
		}
	]
}]
Other Extensions

cmake-tools is also installed and is apparently automatically picked up as a provider for cpptools.

Additional context

No response

主要语言
TypeScript
星标
6.2k
派生
1.7k
平均合并
14 小时 46 分钟
30 天内合并 PR
61

贡献指南

打开贡献指南

从这里开始

  1. 先读完整个 Issue，再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库，在一个分支上完成修改。
  4. 提交 Pull Request，并在描述里引用这个 Issue 编号。

microsoft/vscode-cpptools 的其他 Issue

查看 microsoft/vscode-cpptools 的全部 Issue

相似的 Issue

更多 TypeScript Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。