-Wdangling-field detects view members initalized from a by-value owner parameter

説明

struct Foo {};
struct Bar {
  const Foo& foo;
  Bar(Foo f ) : foo(f) {} // good, clang warn on this case
};


struct C {
    string_view s;
    C(std::string c) : s(c) {} // bad, clang doesn't warn on this case. support it
};

コントリビューターガイド

技術スタック

cpp

領域

toolingdeveloper experience

Issue 種別

feature

難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。

4

推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。

3-5 days

活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。

fresh

明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。

clear

前提条件

C++LLVM/clang development environment setup

初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。

25

調査方針

Investigate how clang's Wdangling field warning currently detects member initialization from temporary owners. The relevant code is likely in clang/lib/Sema/SemaChecking.cpp or similar diagnostic implementation. Extending the warning to cover std::string view and similar view types when initialized from a by value parameter requires adding logic to recognize view types (e.g., std::string view, std::span) that hold references to temporary strings. Look at existing patterns for detecting dangling references and consider adding a new check for view member init from by value std::string parameters. Review comments on the issue for any suggested approach.