range-v3 no operator "|" matches these operands

Ouverte
#13,619 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Évaluation

Difficulté
4/5
Temps estimé
3-5 jours
Accessibilité débutants
35/100
Type d'issue
Bug
Clarté
Clairement spécifiée
Activité
À l'abandon
Stack technique
cmake, cpp, vscode
Domaine
devtools, tooling

Piste de recherche

Commencez par la reproduction dans CMakeLists.txt et main.cpp, en utilisant la configuration range-v3 indiquée et les diagnostics IntelliSense pour confirmer les fausses erreurs operator|. Suivez le traitement par IntelliSense de l’extension C/C++ des pipelines de ranges présentés ; le travail est terminé lorsque le code valide se compile sans les faux diagnostics signalés.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

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

Langage dominant
TypeScript
Étoiles
6.2k
Forks
1.7k
Merge moyen
14 h 46 min
PR mergées (30 j)
61

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de microsoft/vscode-cpptools

Toutes les issues de microsoft/vscode-cpptools

Issues similaires

Plus d'issues TypeScript

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.