microsoft / microsoft/vscode-cpptools

range-v3 no operator "|" matches these operands

Abierto
#13,619 1 comentario 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

bug Language Service parser verified Visual Studio
Lenguaje dominante
TypeScript
Estrellas
6.2k
Forks
1.7k
Merge medio
14 h 46 min
PR fusionados (30 d)
61

Descripción

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

Guía de contribución

Abrir la guía de contribución

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Línea de trabajo

Comienza con la reproducción en CMakeLists.txt y main.cpp, utilizando la configuración de range-v3 indicada y los diagnósticos de IntelliSense para confirmar los falsos errores de operator|. Rastrea el manejo de IntelliSense de la extensión C/C++ de las canalizaciones de rangos mostradas; se considera terminado cuando el código válido compila sin los diagnósticos falsos indicados.

Escrito por el modelo de indexación a partir del texto del issue.

Evaluación

Stack tecnológico
cmake, cpp, vscode
Área
devtools, tooling
Tipo de issue
Error
Dificultad
4/5
Tiempo estimado
3-5 días
Estado de actividad
Estancado
Claridad
Bien especificado
Aptitud para principiantes
35/100

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.