如何声明对字符串无助的政策类，与其他政策具有一致的签名，并在编译时进行评估

Question

我正在整理一组策略类，这些策略类可操作许多操作到字符串。我希望这些策略可以交换，但是“无所事事”的政策也很有问题，因为：

1. 我看不到如何避免使用移动语义复制，同时与姐妹策略保持相同的（非移动）
2. 接口编译器应该知道，可以在编译时对策略的调用进行内衬和评估，但是它不接受constexpr，因为返回类型是字符串。

#include <string>
#include<regex>
#include<cassert>

///
/// @brief Do not change anything
///
struct identity
{
    static std::string edit(std::string&& s) // can not use constexpr: return type not a literal
    {
    return std::move(s);
    }
};
///
/// @brief Template class.
///
template<unsigned int N>
struct remove_comments_of_depth
{};
///
/// @brief Do not remove anything
///
template<> struct remove_comments_of_depth<0> : identity
{};
///
/// @brief Remove all comments substrings contained between square brackets
///
/// @note Assumes that text is well formatted so there are no such things like [[]] or unclosed bracket
///
template<> struct remove_comments_of_depth<1>
{
    static std::string edit(const std::string& s)
    {
        return std::regex_replace(s, std::regex(R"(\[[^()]*\])"), "");
    }
};

int main(int argc, char *argv[])
{
    std::string s = "my_string[this is a comment]";
    auto copy = s;
    assert(remove_comments_of_depth<1>::edit(s) == "my_string");
    assert(remove_comments_of_depth<0>::edit(std::move(copy)) == s); // <<< how to avoid this call to std::move
}

在这种情况下，“标准”的方法是什么？

Answer 1

您想要的是减少不必要的副本，并且在调用编辑时不要使用std ::移动。为什么不返回const引用？

struct identity
{
    static const std::string& edit(const std::string& s) {
        return s;
    }
};

std::string s = "my_string[this is a comment]";
assert(remove_comments_of_depth<0>::edit("my_string[this is a comment]") == "my_string[this is a comment]");
assert(remove_comments_of_depth<0>::edit(s) == "my_string[this is a comment]");

请参阅在线演示

关于您的第二个问题，因为C ++ 20，std :: string string可以是字面类型。

struct identity
{
    constexpr static std::string edit(std::string&& s) {
        return s;
    }
};

static_assert(remove_comments_of_depth<0>::edit("my_string[this is a comment]") == "my_string[this is a comment]");

在C ++ 20中完全可以，请参见 demo 。

但是，由于您的变量s不能为constexpr（它在运行时创建），因此这里没有很大的帮助。