Rust Trait Explorer

作者 actionbook5c40d3ad7851無授權條款1.5K 個星標收錄於 2026年10月8日更新於 2026年10月8日儲存庫6 週前更新

Explore Rust trait implementations using LSP. Triggers on: /trait-impl, find implementations, who implements, trait 实现, 谁实现了, 实现了哪些trait

AI 產生的概覽

使用 LSP 導覽與 grep 探索 Rust trait 實作以及型別與 trait 的關係。

功能
此技能引導代理先定位 Rust trait 或結構體定義,再透過 goToImplementation、documentSymbol 等 LSP 操作以及 grep 搜尋 impl 區塊,找出其實作或所實作的 trait。它會產出結構化報告:含位置的實作者表格、實作細節、依來源分組的 trait 清單、階層圖、覆蓋檢查以及 blanket 實作說明。
適用情境
當需要查詢誰實作了某個 Rust trait、某個型別實作了哪些 trait,或了解 trait 階層結構時使用。也適合覆蓋檢查與理解 Rust 程式庫中的多型設計。
執行需求
需要 Rust 的 LSP 工具,以及對專案原始碼的 Read、Glob 和 Grep 存取權限。不附帶指令碼,僅為指示。

Rust Trait Explorer

Discover trait implementations and understand polymorphic designs.

Usage

/rust-trait-explorer <TraitName|StructName>

Examples:

  • /rust-trait-explorer Handler - Find all implementors of Handler trait
  • /rust-trait-explorer MyStruct - Find all traits implemented by MyStruct

LSP Operations

Go to Implementation

Find all implementations of a trait.

LSP(  operation: "goToImplementation",  filePath: "src/traits.rs",  line: 10,  character: 11)

Use when:

  • Trait name is known
  • Want to find all implementors
  • Understanding polymorphic code

Workflow

Find Trait Implementors

User: "Who implements the Handler trait?"    │    ▼[1] Find trait definition    LSP(goToDefinition) or workspaceSymbol    │    ▼[2] Get implementations    LSP(goToImplementation)    │    ▼[3] For each impl, get details    LSP(documentSymbol) for methods    │    ▼[4] Generate implementation map

Find Traits for a Type

User: "What traits does MyStruct implement?"    │    ▼[1] Find struct definition    │    ▼[2] Search for "impl * for MyStruct"    Grep pattern matching    │    ▼[3] Get trait details for each    │    ▼[4] Generate trait list

Output Format

Trait Implementors

## Implementations of `Handler`
**Trait defined at:** src/traits.rs:15
​```rustpub trait Handler {    fn handle(&self, request: Request) -> Response;    fn name(&self) -> &str;}​```
### Implementors (4)
| Type | Location | Notes ||------|----------|-------|| AuthHandler | src/handlers/auth.rs:20 | Handles authentication || ApiHandler | src/handlers/api.rs:15 | REST API endpoints || WebSocketHandler | src/handlers/ws.rs:10 | WebSocket connections || MockHandler | tests/mocks.rs:5 | Test mock |
### Implementation Details
#### AuthHandler​```rustimpl Handler for AuthHandler {    fn handle(&self, request: Request) -> Response {        // Authentication logic    }
    fn name(&self) -> &str {        "auth"    }}​```
#### ApiHandler​```rustimpl Handler for ApiHandler {    fn handle(&self, request: Request) -> Response {        // API routing logic    }
    fn name(&self) -> &str {        "api"    }}​```

Traits for a Type

## Traits implemented by `User`
**Struct defined at:** src/models/user.rs:10
### Standard Library Traits| Trait | Derived/Manual | Notes ||-------|----------------|-------|| Debug | #[derive] | Auto-generated || Clone | #[derive] | Auto-generated || Default | manual | Custom defaults || Display | manual | User-friendly output |
### Serde Traits| Trait | Location ||-------|----------|| Serialize | #[derive] || Deserialize | #[derive] |
### Project Traits| Trait | Location | Methods ||-------|----------|---------|| Entity | src/db/entity.rs:30 | id(), created_at() || Validatable | src/validation.rs:15 | validate() |
### Implementation Hierarchy
​```User├── derive│   ├── Debug│   ├── Clone│   ├── Serialize│   └── Deserialize└── impl    ├── Default (src/models/user.rs:50)    ├── Display (src/models/user.rs:60)    ├── Entity (src/models/user.rs:70)    └── Validatable (src/models/user.rs:85)​```

Trait Hierarchy Visualization

## Trait Hierarchy
                    ┌─────────────┐                    │    Error    │ (std)                    └──────┬──────┘                           │              ┌────────────┼────────────┐              │            │            │      ┌───────▼───────┐ ┌──▼──┐ ┌───────▼───────┐      │  AppError     │ │ ... │ │  DbError      │      └───────┬───────┘ └─────┘ └───────┬───────┘              │                         │      ┌───────▼───────┐         ┌───────▼───────┐      │ AuthError     │         │ QueryError    │      └───────────────┘         └───────────────┘

Analysis Features

Coverage Check

## Trait Implementation Coverage
Trait: Handler (3 required methods)
| Implementor | handle() | name() | priority() | Complete ||-------------|----------|--------|------------|----------|| AuthHandler | ✅ | ✅ | ✅ | Yes || ApiHandler | ✅ | ✅ | ❌ default | Yes || MockHandler | ✅ | ✅ | ✅ | Yes |

Blanket Implementations

## Blanket Implementations
The following blanket impls may apply to your types:
| Trait | Blanket Impl | Applies To ||-------|--------------|------------|| From<T> | `impl<T> From<T> for T` | All types || Into<U> | `impl<T, U> Into<U> for T where U: From<T>` | Types with From || ToString | `impl<T: Display> ToString for T` | Types with Display |

Common Patterns

User SaysAction
"Who implements X?"goToImplementation on trait
"What traits does Y impl?"Grep for impl * for Y
"Show trait hierarchy"Find super-traits recursively
"Is X: Send + Sync?"Check std trait impls

Related Skills

WhenSee
Navigate to implrust-code-navigator
Call relationshipsrust-call-graph
Project structurerust-symbol-analyzer
Safe refactoringrust-refactor-helper

來源與署名

來源:actionbook/rust-skills位於skills/rust-trait-explorer提交5c40d3a

授權條款: 無授權條款

內容歸原作者所有。SourceWeft 從公開儲存庫中收錄這些內容。

檢舉或申請下架