1

tl; dr：有没有办法将当前范围的默认参数添加到 C++ 中的所有隐式构造函数？

我目前正在为 C++ 中的嵌入式语言设计一个接口。目标是使创建语法正确的表达式既类型安全又方便。现在，我认为学习像 boost::proto 这样的重量级实现会给开发带来太大的延迟，所以我尝试推出自己的实现。

这是一个小演示：

#include <iostream>
#include <string>
#include <sstream>

class ExprBuilder
{
public:
    ExprBuilder(const int val) : val(std::to_string(val)) {}
    ExprBuilder(const std::string val) : val(val) {}
    ExprBuilder(const char* val) : val(val) {}

    ExprBuilder(const ExprBuilder& lhs, const ExprBuilder& arg) {
        std::stringstream ss;
        ss << "(" << lhs.val << " " << arg.val << ")";
        val = ss.str();
    }

    const ExprBuilder operator()(const ExprBuilder& l) const {
        return ExprBuilder(*this, l);
    }

    template<typename... Args>
    const ExprBuilder operator()(const ExprBuilder& arg, Args... args) const
        {
            return (*this)(arg)(args...) ;
        }

    std::string val;
};

std::ostream& operator<<(std::ostream& os, const ExprBuilder& e)
{
    os << e.val;
    return os;
}

int main() {
    ExprBuilder f("f");
    std::cout << f(23, "foo", "baz") << std::endl;
}

如您所见，由于 C++ 重载和隐式转换，嵌入表达式相当简单。

然而，我面临一个实际问题：在上面的示例中，所有数据都以 std::string 对象的形式分配。在实践中，我需要一些更复杂的东西（AST 节点），它们在堆上分配并由专用所有者管理（遗留代码，无法更改）。所以我必须传递一个独特的参数（说所有者）并将其用于分配。我不想在这里使用静态字段。

我正在搜索的是一种使用方式，每次使用构建器时都要求用户提供这样的所有者，但以一种方便的方式。像动态范围变量这样的东西会很棒。有没有办法在 C++ 中获得以下内容：

class ExprBuilder
{
    ...
    ExprBuilder(const ExprBuilder& lhs, const ExprBuilder& arg) {
        return ExprBuilder(owner.allocate(lhs, rhs)); // use the owner implicitly
    }
    ...
};

int main() {
    Owner owner; // used in all ExprBuilder instances in the current scope
    ExprBuilder f("f");
    std::cout << f(23, "foo", "baz") << std::endl;
}

这可能吗？

编辑：我想澄清为什么我（直到现在）不考虑全局变量。所有者必须在某个时候由构建器的用户手动释放，因此我无法创建一个临时的。因此，用户可能会完全“忘记”所有者。为了避免这种情况，我正在寻找一种方法来通过类型检查器强制所有者在场。

4

2 回答 2

1

如果没有全局/静态变量，这几乎是不可能的，因为没有全局/静态信息，局部变量Owner owner并ExprBuilder f不能相互了解任何信息。

我认为最干净的方法是添加一个

static Owner* current_owner;

到ExprBuilder班级。然后你可以添加一个新的类ScopedCurrentOwnerLock，它current_owner在构造函数中设置，在析构函数中设置为 nullptr。然后你可以像使用互斥锁一样使用它：

class ScopedCurrentOwnerLock {
public:
    ScopedCurrentOwnerLock(Owner const& owner) {
        ExprBuilder::current_owner = &owner;
    }
    ~ScopedCurrentOwnerLock() {
        ExprBuilder::current_owner = nullptr;
    }
};

int main() {
    Owner owner;
    ScopedCurrentOwnerLock lock(owner);
    ExprBuilder f("f");
}

如果您可以访问Owner代码，则可以省略ScopedCurrentOwnerLock类并直接设置/取消设置Owner.

请注意此解决方案的以下两个问题：

  • 如果所有者在锁超出范围之前超出范围，则您的指针无效。

  • 如果您同时拥有多个锁，例如由于多线程，静态指针会出现不可预知的行为。

于 2017-03-16T12:30:39.050 回答
0

你所有的ExprBuilders人都依赖于Owner，你不想要全局状态是正确的。所以你必须将所有者传递给每个构造函数。

如果您真的不想owner,在一个块中添加所有实例，您可以创建一个工厂来为您传递它。

struct ExprBuilderFactory
{
    Owner & owner;
    ExprBuilder operator()(int val) { return ExprBuilder(owner, val); }
    ExprBuilder operator()(char * val) { return ExprBuilder(owner, val); }
    // etc
}

int main() {
    Owner owner;
    ExprBuilderFactory factory{ owner };
    ExprBuilder f = factory("f");
}
于 2017-03-16T13:03:11.817 回答