microsoft / microsoft/vscode-cpptools

consteval not correctly evaluated

Ouverte
#14,401 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

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

Description

Environment
  • OS and Version: Linux, Ubuntu 24.04
  • VS Code Version: 1.116.0
  • C/C++ Extension Version: 1.31.5
  • If using SSH remote, specify OS of remote machine: no
Bug Summary and Steps to Reproduce

Bug Summary:

The InteliSense output doesn't pars consteval correctly. Mose hover-over doesn't work for values of a struct returned by consteval.

Steps to reproduce:

#include <array>
#include <cstddef>
#include <cstdint>
#include <string_view>

namespace demo {

struct Register_t {
    std::string_view name;
    std::int64_t address;
};

inline constexpr auto registers = std::array{
    Register_t{"register_name", 0x1000},
};

template <std::size_t N>
consteval const Register_t& find_register(std::string_view name, const std::array<Register_t, N>& regs) {
    for (const auto& reg : regs) {
        if (reg.name == name) {
            return reg;
        }
    }
    throw "Register not found";
}

consteval const Register_t& get_register(std::string_view name) { return find_register(name, registers); }

}  // namespace demo

static constexpr std::int64_t register_address = demo::get_register("register_name").address;

static_assert(demo::get_register("register_name").address == 0x1000);
static_assert(register_address == 0x1000);

The mouse hover-over of demo::get_register("register_name").address just return int64_t demo::Register_t::address instead of the expected value 0x1000 as it is done through the assigned value in register_address

Expected behavior:

Mouse hover-over on demo::get_register("register_name").address shows also the value.

It seems that the behavior isn't that stable, means that some times the value is returned and sometimes not. e.g. in Version 1.29.3 the values are shown when it is used for template initialization.

Configuration and Logs
-
Other Extensions

ms-vscode.cmake-tools
ms-vscode.cpptools-themes
ms-vscode.cpptools-extension-pack
ms-vscode.cpp-devtools

Additional context

No response

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.

Piste de recherche

Commencez par reproduire le comportement de l’infobulle avec l’exemple C++ consteval de l’issue, en comparant l’accès direct au membre avec l’initialisation de register_address. Suivez le chemin d’évaluation de l’infobulle IntelliSense pour les résultats des fonctions consteval et examinez comment les valeurs sont affichées. C’est terminé lorsque l’infobulle sur demo::get_register("register_name").address affiche systématiquement 0x1000, avec une couverture du cas signalé.

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

Évaluation

Stack technique
cpp
Domaine
developer-experience, tooling
Type d'issue
Bug
Difficulté
4/5
Temps estimé
3-5 jours
Activité
Calme
Clarté
Plutôt claire
Accessibilité débutants
45/100

Recevez les nouvelles issues par e-mail

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