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）

是一个模板化类型的方法，它返回true是一个好的候选者，可以在条件中进行优化吗？

1 个答案: