microsoft / microsoft/vscode-cpptools
consteval not correctly evaluated
まだ誰も着手していません。
- 主要言語
- TypeScript
- スター
- 6.2k
- フォーク
- 1.7k
- 平均マージ
- 14時間 46分
- マージ済み PR(30日)
- 61
説明
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
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
まず、issue の consteval C++ 例を使ってホバーの動作を再現し、直接のメンバーアクセスと register_address の初期化を比較します。consteval 関数の結果に対する IntelliSense のホバー評価パスを追跡し、値がどのように表示されるかを調べます。demo::get_register("register_name").address にホバーしたときに一貫して 0x1000 が表示され、報告されたケースのカバレッジがあることを完了条件とします。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- cpp
- 領域
- developer-experience, tooling
- issue の種類
- バグ
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 活発さ
- 静か
- 明瞭さ
- おおむね明確
- 初心者へのやさしさ
- 45/100