returns 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）

returns true 的模板化类型方法是否适合在条件中进行优化？

Is a templated type method that returns true a good candidate to be optimised in a conditional?

c++

optimization

templates

compiler-optimization