当类型位于另一个模块内时，宏内的哪个符号允许类型构造？

Question

我写了一个非常简单的宏，它应该实现一个C结构的包装器：

macro_rules! features{
    ($struct_name: ident, $from_type: ident, $($name: ident => $vk: ident,)+) => {
        #[derive(Debug, Copy, Clone)]
        pub struct $struct_name{
            $(
                pub $name: bool,
            )+
        }
        impl $struct_name{
            pub fn empty() -> $struct_name{
                $struct_name{
                    $(
                        $name: false,
                    )+
                }
            }
            pub fn subset(&self, other: &Self) -> bool{
                $((!self.$name | other.$name))&&+
            }
        }

        //TODO: Probably just impl From with a cast?
        impl From<vk::$from_type> for $struct_name{
            fn from(features: vk::$from_type) -> $struct_name {
                $struct_name{
                    $(
                        $name: features.$vk != 0,
                    )+
                }
            }
        }

        impl From<$struct_name> for vk::$from_type {
            fn from(features: $struct_name) -> vk::$from_type {
                vk::$from_type{
                    $(
                        $vk: features.$name as u32,
                    )+
                }
            }
        }

        impl fmt::Display for $struct_name {
            fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result{
                $(
                    if self.$name {
                        try!(writeln!(f, "{},", stringify!($name)));
                    }
                )+
                writeln!(f, "")
            }
        }
    }
}

我这样使用它：

features!{
    Features,
    PhysicalDeviceFeatures,
    robust_buffer_access => robustBufferAccess,
    full_draw_index_uint32 => fullDrawIndexUint32,
    image_cube_array => imageCubeArray,
    ....
}

这是可行的，但是我不得不做一个非常难看的hack$from_type:ident，然后在宏中使用vk:：$from_type。我真正想做的是：

features!{
    Features,
    vk::PhysicalDeviceFeatures,
    robust_buffer_access => robustBufferAccess,
    full_draw_index_uint32 => fullDrawIndexUint32,
    image_cube_array => imageCubeArray,
    ....
}

然后，我可以完全提供类型，而不是依赖于ident在硬编码模块vk::中。

问题是我不能用path或ty

$from_type{..}

错误：

error: expected expression, found `PhysicalDeviceFeatures`
  --> 
   |
38 |                 $from_type{
   |                 ^^^^^^^^^^

和

error: expected one of `.`, `;`, `?`, `}`, or an operator, found `{`
  --> /home/maik/projects/ashlib/ash/src/feature.rs:38:27
   |
38 |                 $from_type{
   | 

要使此功能正常工作，$from_type需要什么符号？

我创建了一个简短的例子来更清楚地表达我的问题（游乐场）：

mod foo {
    struct Foo{
        i: i32
    }
}

macro_rules! c_enum {
    (
        $name:ty

    ) => {
        fn new() -> $name {
            $name{
                i: 42
            }
        }
    }
}
c_enum!{
    foo::Foo
}
fn main() {

}

Answer 1

我不知道为什么path或ty失败，我会提交一个bug以防生锈。在过去，我通过使用tt说明符来解决这个问题，它几乎匹配所有内容。