microsoft / microsoft/vscode-cpptools

range-v3 no operator "|" matches these operands

Open
#13,619 1 comment 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

bug Language Service parser verified Visual Studio
Dominant language
TypeScript
Stars
6.2k
Forks
1.7k
Avg merge
14h 46m
Merged PRs (30d)
61

Description

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

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start with the CMakeLists.txt and main.cpp reproduction, using the listed range-v3 setup and IntelliSense diagnostics to confirm the false operator| errors. Trace the C/C++ extension's IntelliSense handling of the shown range pipelines; done means the valid code compiles without the reported false diagnostics.

Written by the indexing model from the issue text.

Assessment

Tech stack
cmake, cpp, vscode
Domain
devtools, tooling
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Clearly specified
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.