0

为了保持我一直在研究的一个相当通用的库，我发现我自己编写了这个巨大的代码来构建一个结构：

pub struct SampleRenderer<Camera_T, Sampler_T, SurfaceIntegrator_T, Filter, Sample_Iter> {
  camera : Camera_T,
  sampler : Sampler_T,
  surface_integrator : SurfaceIntegrator_T,
  film : Film<Filter>,
}

impl<Camera_T, Sampler_T, SurfaceIntegrator_T, Filter, Sample_Iter> SampleRenderer
    <Camera_T, Sampler_T, SurfaceIntegrator_T, Filter, Sample_Iter> {
  pub fn new<Camera_T : Camera, Sampler_T : Sampler<Sample_Iter>, SurfaceIntegrator_T : SurfaceIntegrator, Filter, Sample_Iter>
    (camera : Camera_T, sampler : Sampler_T, surface_integrator : SurfaceIntegrator_T, film : Film<Filter>)
    -> SampleRenderer<Camera_T, Sampler_T, SurfaceIntegrator_T, Filter, Sample_Iter> {
    SampleRenderer {
      camera : camera,
      sampler : sampler,
      surface_integrator : surface_integrator,
      film : film
    }
  }
}

虽然这可行，但使用起来很痛苦，而且非常重复。每个输入都有一个与之关联的特征，其中一些特征也是模板化的（采样器）。

有没有人有更简洁的方式来表达这一点？我是不是看错了问题？

谢谢！

4

1 回答 1

4

你可以通过在定义中省略类型参数来简化你的代码new()，也就是说，你不需要写new<Camera_T : Camera, Sampler_T : Sampler<Sample_Iter>, SurfaceIntegrator_T : SurfaceIntegrator, Filter, Sample_Iter>()，你可以只写new()。相应的参数将从impl<...>子句中获取。

除此之外，我认为，你不走运。类型参数语法要求您键入所有这些名称。事实上，你也会用其他语言做类似的事情。您可以尝试为类型参数使用更简单的单字母名称；鉴于它们的编号，它的可读性可能会降低，但至少您可以尝试一下。

于 2014-05-17T20:28:09.920 回答