编译器是否在c ++中优化静态值的if语句

Question

我正在为拼贴分配工作一个通用库类,并且代码运行尽可能高效非常重要,也就是说,如果我们可以减少if语句,我们应该这样做.

如果它是一个基本类型,如double或int,我有以下代码初始化数组.

T b[dim];
if(std::is_fundemental::<T>::value) 
{ 
    memset(b, 0, dim*sizeof(T));
}

现在的问题是这个检查是否已经过优化,这样它就不会进行运行时检查,或者我是否需要为基本类型的专门化创建初始化模板？

我使用G ++和C++ 11,但它应该能够在不检查大多数(最好是所有)编译器的情况下运行.

Answer 1

该标准没有解决优化问题,但我无法想象一个不会进行优化的编译器.但它真的很重要:你最多只讨论一两个机器指令,之后你会调用一个功能更多的功能.而且从形式上讲,除了整体类型之外,它不起作用.(不是说我听说过一台机器,其中所有0位的双精度都不是0.0.)

但是FWIW:std::uninitialized_fill_n应该至少同样快,而且你不需要if,因为它适用于所有类型.