是否可以指定函數參數必須是字符串文字？

Question

該片段拒絕編譯，因爲format!()不會觸及非文字字符串。

fn cond_format<T: std::fmt::Display>(cond: bool, fmt_str: &'static str, item: T) -> String { 
    if cond { 
     format!(fmt_str, item) 
    } else { 
     format!("{}", item) 
    } 
} 

Answer 1

編號在類型，名稱或值甚至存在之前擴展宏。這是沒有可能的方式來工作。因此，語言在運行時沒有理由區分文字和非文字：即使是，也無法使用該信息。

你有使用宏。以下是這樣做的兩種可能的方式。

macro_rules! cond_format { 
    ($fmt_str:expr) => { 
     |cond: bool, item| -> String { 
      if cond { 
       format!($fmt_str, item) 
      } else { 
       format!("{}", item) 
      } 
     } 
    }; 

    ($cond:expr, $fmt_str:expr, $item:expr) => { 
     if $cond { 
      format!($fmt_str, $item) 
     } else { 
      format!("{}", $item) 
     } 
    }; 
} 

fn main() { 
    println!("{}", cond_format!("{:x}")(false, 42)); 
    println!("{}", cond_format!(true, "{:x}", 42)); 
} 

Answer 2

根據Rust docs，這是不可能的：

（......），你可以看到，第一個參數是格式字符串。編譯器需要它 ，因爲它是一個字符串文字;它不能是 是一個傳入的變量（爲了執行有效性檢查）。