将C预处理器转换为Rust

我将一些C代码移植到Rust,并且代码包含许多类似这样的内容:

#define CONFIG_FLAG_NUMBER_23 1
#define THIS 10
#define THAT 11
#define THIS_AND_THAT (THIS + THAT)

#if CONFIG_FLAG_NUMBER_23
#define THIS_OR_THAT THIS
#else
#define THIS_OR_THAT THAT
#endif

#define ROOT_DIR "/root"
#define FILE_ONE ROOT_DIR "/file_one"
#define FILE_TWO ROOT_DIR "/file_two"

我决定删除宏并用常量表达式替换它们,但是在Rust中做的尝试并不是很成功:

static CONFIG_FLAG: bool = true;
static THIS: int = 10;
static THAT: int = 11;
static THIS_AND_THAT: int = THIS + THAT; // Okay, it works

// 1: Conditions
static THIS_OR_THAT: int = CONFIG_FLAG ? THIS : THAT; // Doesn't work, no conditional operator
static THIS_OR_THAT: int = if CONFIG_FLAG { THIS } else { THAT }; // Doesn't work, "if" is not basic enough for compile time

// 2: Strings
static ROOT_DIR: &'static str = "/root";
static FILE_ONE: &'static str = ROOT_DIR + "/file_one"; // Doesn't work, static strs can't be Added
static FILE_TWO: String = ROOT_DIR.to_string() + "/file_two"; // Don't even think about allocations in constant expressions!
static FILE_THREE: &'static str = concat!(ROOT_DIR, "/file_three"); // Doesn't work, concat! works only with literals

在Rust中重写这些代码的正确/最不痛苦的方式是什么?


问题1:条件表达式
由于配置标志可以被解释为整数,所以它们可以用作变体数组中的索引。

// Configuration flag
static CONFIG_FLAG: uint = 1;

// Variants of any static type
type T = &'static str;
static VARIANT1: T = "True";
static VARIANT2: T = "False";

// Now you can select, but you have to invert either flag, or variants, or your brain
static SELECTED: T = [VARIANT1, VARIANT2][1 - CONFIG_FLAG];

fn main() {
    println!("{}", SELECTED);
}

笔记:

由于问题#5873,bool类型的CONFIG_FLAG当前不适用于数组索引,

// error: can't cast str to uint
static SELECTED: T = [VARIANT1, VARIANT2][1 - CONFIG_FLAG_BOOL as uint];

因此您必须创建一个更多的静态项目,然后在条件中使用它。

static CONFIG_FLAG_UINT: uint = CONFIG_FLAG_BOOL as uint;

问题2:编译时间字符串连接

简单的C宏很好地映射到Rust宏,所以你可以使用基本上与C相同的方法来进行字符串连接。唯一的区别是你必须明确地使用concat! 而不是仅仅把文字放在一起。

#![feature(macro_rules)]

// Define new macro-string with name $name assembled from arguments $arg
macro_rules! define_str (
    ($name: ident, $($arg: expr), +)
    =>
    (macro_rules! $name (
        () => (concat!($($arg), +))
    ));
)

// Some strings
define_str!(ROOT_DIR, "/root")
define_str!(SUB_DIR, ROOT_DIR!(), "/sub")
define_str!(FILE_NAME, SUB_DIR!(), "/file")
define_str!(NONSENSE, FILE_NAME!(), SUB_DIR!(), ROOT_DIR!())

fn main() {
    println!("{}", FILE_NAME!());
    println!("{}", NONSENSE!());
}

笔记:
我想在define_str自动添加!()到宏名称,像这样的附加宏,

macro_rules! add_bang_and_parens (
    ($arg: ident) => ($arg!());
    ($arg: expr) => ($arg);
)

但它似乎在宏中基于参数“类型”的模式匹配目前不可能。

链接地址: http://www.djcxy.com/p/80937.html

上一篇: Translating C preprocessor to Rust

下一篇: Checking up on a `concurrent.futures.ThreadPoolExecutor`