microsoft / microsoft/vscode-cpptools

range-v3 no operator "|" matches these operands

Offen
#13,619 1 Kommentar 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

bug Language Service parser verified Visual Studio
Vorherrschende Sprache
TypeScript
Sterne
6.2k
Forks
1.7k
Ø Merge
14 Std. 46 Min.
Gemergte PRs (30 T.)
61

Beschreibung

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

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

  1. Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
  3. Forke das Repository und arbeite in einem Branch.
  4. Öffne einen Pull Request, der die Issue-Nummer nennt.

Rechercherichtung

Beginne mit der Reproduktion in CMakeLists.txt und main.cpp und verwende dabei das aufgeführte range-v3-Setup und die IntelliSense-Diagnosen, um die falschen operator|-Fehler zu bestätigen. Verfolge die IntelliSense-Verarbeitung der gezeigten Range-Pipelines durch die C/C++-Erweiterung; abgeschlossen ist die Aufgabe, wenn der gültige Code ohne die gemeldeten falschen Diagnosen kompiliert.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
cmake, cpp, vscode
Bereich
devtools, tooling
Issue-Typ
Bug
Schwierigkeit
4/5
Geschätzter Aufwand
3-5 Tage
Aktivitätsstatus
Veraltet
Klarheit
Klar beschrieben
Anfängerfreundlichkeit
35/100

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.