c++ - 数字特征零和一

Question

可以使用 itk::NumericTraits 获取某种类型的 0 和 1。因此我们可以在野外看到这种代码:

const PixelType ZERO = itk::NumericTraits<PixelType>::Zero;
const PixelType ONE = itk::NumericTraits<PixelType>::One;

这感觉沉重且难以阅读。作为一名程序员，我更喜欢更实用的版本，例如:

const PixelType ZERO = 0;
const PixelType ONE = 1;

但它完全等价吗？我认为转换是在编译期间完成的，因此两个版本在速度方面应该是相同的。如果是这样，为什么有人要使用 itk::NumericTraits 来获取 0 和 1？一定有一个我没有看到的优势。

Answer 1

特征通常在泛型编程的上下文中使用/有用。它在 STL 中被大量使用。

让我们考虑您的 NumericTraits 如下所示:

template <typename PixelT>
struct NumericTraits {
  static const int  ZERO = 0;
  static const int  ONE = 1;
};

除此之外，您也应该或可以将您的模板实例限制为特定类型......使用 enable_if 等。

现在，出现了一种特殊的像素类型，您将如何定义 ZERO 和 ONE？只需专门化您的NumericTraits

template <>
struct NumericTraits<SpecialPixel>{
  static const int ZERO = 10;
  static const int ONE = 20;
};

知道想法和用处了吗？现在，这样做的另一个好处是将值转换为类型，然后将其用于标签分发:

void func(int some_val, std::true_type) {....}
void func(int some_val, std::false_type) {.....}

And call it like:

func(42, typename std::conditional<NumericTraits<PixelType>::ONE == 1, std::true_type, std::false_type>::type());

在这里调用哪个重载是在编译时决定的，使您不必进行 if - else 检查，可能 可以提高性能 :)