c++ - 返回true的模板化类型方法是否适合在条件中进行优化的良好候选者？

鉴于这两个:

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。

最佳答案

对于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)

关于c++ - 返回true的模板化类型方法是否适合在条件中进行优化的良好候选者？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/32706635/