C ++ 20 constexpr std ::运行时的复制优化

Question

cppreference.com说：

实际上，如果值类型为TriviallyCopyable，则std :: copy的实现会避免多个赋值并使用批量复制函数，例如std :: memmove

但是，该页面还指出，自C ++ 20以来，不执行执行策略的重载将是constexpr 。 标准是否会禁止这些运行时优化（因为std::memmove不是constexpr）或有没有办法优化constexpr函数的运行时？

Answer 1

我们也可以吃蛋糕，也可以吃。

我们只考虑copy的最简单的专业化，即复制char的。 在C ++ 17中，这可能看起来像：

char* copy(char const* first, char const* last, char* d)
{
    memcpy(d, first, last - first);
    return d + (last - first);
}

当然，我们不能只拍constexpr上，由于memcpy是不是一个constexpr功能，这是行不通的。 但它只是在不断评估期间不起作用。 我们需要的是一种在运行时有条件地使用memcpy的方法。

我们在C ++ 20中有这样的东西， std::is_constant_evaluated() ：

constexpr char* copy(char const* first, char const* last, char* d)
{
    if (std::is_constant_evaluated()) {
        while (first != last) {
            *d++ = *first++;
        }
        return d;       
    } else {
        memcpy(d, first, last - first);
        return d + (last - first);
    }
}

现在我们有一个算法可以在运行时执行高效的操作，但在constexpr评估时仍然有效。

---

注：这是if (std::is_constant_evaluated()) 从来没有 if constexpr (std::is_constant_evaluated()) 后者等同于if constexpr (true) { ... } 。 gcc 10.1将在此错误用法时开始警告。