返回true的模板类型方法是否是要在条件中优化的好候选？

Question

鉴于这两个方面：

struct Checker1 {
    bool check( Bar& bar ) {
        return true;
    }
};

struct Checker2 {
    bool check( Bar& bar ) {
        return complex_check(bar);
    }
};

这个检查会是编译器优化的一个好的候选吗？

template <typename Checker>
class Gargle {
private:
    Checker checker;

public:
    void foo(Bar bar) {
        if( checker.check(bar) ) { // this one
            // do something
        }
    }
};

我觉得应该，但不确定。我主要使用gcc和clang。

Answer 1

对于Checker1，每个编译器都将内联check()函数，并将常量true传播到if()语句中，并完全消除这一点。对于Checker2，它取决于complex_check()的代码大小。

但是在C++14中，您可以保证在constexpr上下文中进行完整的内联。你可以写

struct Bar {
    constexpr Bar() {}    
};

struct Checker1 {
    constexpr Checker1() {}
    constexpr bool check( Bar const& bar ) const {
        return true;
    }
};

constexpr bool complex_check(Bar const&) { return true; }

struct Checker2 {
    constexpr Checker2() {}
    constexpr bool check( Bar const& bar ) const {
        return complex_check(bar);
    }
};

template <typename Checker>
class Gargle {
private:
    Checker checker;

public:
    constexpr Gargle(Checker const& c): checker{c} {}

    constexpr int foo(Bar bar) const {
        if( checker.check(bar) ) { // this one
            // do something
        }
        return 42;
    }
};

int main()
{
    constexpr Checker2 check2;
    constexpr Gargle<Checker2> gargle{check2};
    constexpr Bar bar;
    constexpr int answer = gargle.foo(bar); // everything inline and done at compile-time
    static_assert(answer == 42, "");
}

在编译时完成整个计算。Live Example (要求gcc 5.1或Clang 3.4)