g ++：合并模板成员函数实例

Question

有什么办法可以在最终的二进制文件中合并模板类的相同成员函数吗？我有可能支持特定的功能，并依赖于一个类，可能需要一些额外的步骤里面的成员函数：根据实际

像 Driver<Feature::A>::set或 Driver<Feature::A | Feature::B>::set

template <uint32_t features> 
class Driver { 
    static bool set (uint32_t value) { 
     /* do something required for every feature */ 
     if (features & Feature::A) 
     /* do special things if Feature::A */ 
     /* do something required for every feature */ 
     if (features & Feature::B || features & Feature::C) 
     /* do something special for either Feature::B or Feature::C */ 
     return true; 
    } 
    /* more, similar methods */ 
}; 

在代码后，我会再使用电话可用功能。到目前为止，所有这些工作都很顺利，只有使用g++-5.4.0 -std=c++11 -O3编译的已发布代码才会合并完全相同的方法，所以我希望使用它。在这个类中具有多个功能，其中主要的共同部分，真正打破了最终的二进制文件的大小。在使用私有函数用于公用部分减小了尺寸的开销，但不是友好的在我看来阅读：

template <uint32_t features> 
class Driver { 
    static void _set_common_0 (value) { 
     /* do something required for every feature */ 
    } 
    static bool set (uin32_t value) { 
     _set_common_0 (value); 
     if (features & Feature::A) 
      _set_special_0 (value); 
     _set_common_1 (value); 
     if (features & Feature::B || features & Feature::C) 
      _set_special_1 (value); 
     return true; 
    } 
}; 

而且这引入了问题，如果是在特殊的一个一个“早出”路径部分，以前可以通过一个简单的return现在可以完成从子功能升级，根据这些子功能的返回值进行进一步检查...

我想要的是编译器为Driver<Feature::B>::set和Driver<Feature::C>::set发出（使用时）符号，但让它们通过代码指向相同的代码位置，因为它们是相同的。任何想法我怎么能做到这一点？ （优选地，用C++ 11保持，且不需要从一个较新的标准功能）

编辑：为了澄清，我想知道，为什么相同的指令序列（由模板实例此处产生）不被gcc组合。据我的理解，-ftree-tail-merge应该至少替换那些跳转到相同的实现/代码序列（例如Driver<Feature::B>::set和Driver<Feature::C>::set）。

Answer 1

从您发布的代码中可以清楚地看到您滥用模板。正确的方法是定义的Driver部分特例：

template <uint32_t features> 
class Driver; // There may be some default implementation, but it is not necessary 

// Specialize for feature A only 
template <> 
class Driver<Feature::A> { 
    bool set (uint32_t value) { 
     /* do special things for Feature::A */ 
     /* do something required for every feature */ 
     return true; 
    } 
}; 

// Specialize for feature B only 
template <> 
class Driver<Feature::B> { 
    bool set (uint32_t value) { 
     /* do special things for Feature::B */ 
     /* do something required for every feature */ 
     return true; 
    } 
}; 

// Specialize for features A and B 
template <> 
class Driver<Feature::A | Feature::B> { 
    bool set (uint32_t value) { 
     /* do special things for Feature::A */ 
     /* do special things for Feature::B */ 
     /* do something required for every feature */ 
     return true; 
    } 
}; 

模板方法的好处是，你没有运行时开销由于如果某些功能被启用检查。当然，如果有很多功能，将会有大量的功能组合;因此输出二进制的膨胀。这就是为什么我建议摆脱类模板并使用运行时函数参数;例如，将特征传递给构造函数：

class Driver { 
private: 
    uint32_t features_; 

public: 
    Driver(uint32_t features) : features_(features) {} 
    bool set (uint32_t value) { 
     /* do something required for every feature */ 
     if (features_ & Feature::A) 
     /* do special things if Feature::A */ 
     /* do something required for every feature */ 
     if (features & Feature::B || features & Feature::C) 
     /* do something special for either Feature::B or Feature::C */ 
     return true; 
    } 
};