如何测试lambda演算？
如何测试lambda演算？
提问于 2021-04-24 22:19:52
我在C++中实现了λ演算，但现在我不知道如何摆脱它。我想测试我的函数是否返回了正确的东西，但我不能比较结果，因为它是一个函数。有谁知道如何测试我的代码吗？
#include <functional>
class function :
public std::function<function (function)> {
public: using type =
std::function<function (function)>;
public: using type::function;
};
function True = [](function x) {
return [&](function y) {
return x;
};
};
function False = [](function x) {
return [&](function y) {
return y;
};
};
function If = [](function x) {
return [&](function y) {
return [&](function z) {
return x(y)(z);
};
};
};
function And = [](function x) {
return [&](function y) {
return x(y)(x);
};
};
function Or = [](function x) {
return [&](function y) {
return x(x)(y);
};
};
// ...
int main()
{
// ?
}回答 2
Stack Overflow用户
发布于 2021-04-25 01:51:17
我用下面的测试代码解决了我的问题。
#include <cassert>
#include <exception>
template <typename E, typename F>
bool throws(F f)
try {
f();
return false;
}
catch (E const &) {
return true;
}
auto main() -> int
{
function Null;
assert(throws<std::bad_function_call>([&] { True(Null)(True)(True); }));
assert(throws<std::bad_function_call>([&] { False(True)(Null)(True); }));
}对False的测试起作用了，但是对True的测试没有通过，第一个断言没有通过，我不知道为什么。当我通过值而不是通过引用([&]，->，[=])捕获x时，一切都会正常工作。
True的新代码
function True = [](function x) {
return [=](function y) {
return x;
};
};有没有人知道为什么我通过引用捕获不起作用？
Stack Overflow用户
发布于 2021-04-25 03:45:24
我的代码现在看起来像这样(我只是用[=]替换了所有的[&]，并使用了私有继承)：
class function :
private std::function<function (function)> {
public: using type =
std::function<function (function)>;
public: using type::function;
public: using type::operator();
public: using type::operator bool;
};
function True = [](function t) {
return [=](function f) {
return t;
};
};
function False = [](function t) {
return [=](function f) {
return f;
};
};
function If = [](function x) {
return [=](function t) {
return [=](function f) {
return x(t)(f);
};
};
};
function And = [](function x) {
return [=](function y) {
return x(y)(x);
};
};
function Or = [](function x) {
return [=](function y) {
return x(x)(y);
};
};测试结果如下所示：
auto main() -> int
{
function Null;
assert( True(True)(Null));
assert(!True(Null)(True));
assert( False(Null)(True));
assert(!False(True)(Null));
assert( If(True )(True)(Null));
assert(!If(True )(Null)(True));
assert( If(False)(Null)(True));
assert(!If(False)(True)(Null));
assert(And(False)(False) (Null)(True));
assert(And(False)(True ) (Null)(True));
assert(And(True )(False) (Null)(True));
assert(And(True )(True ) (True)(Null));
assert(Or(False)(False) (Null)(True));
assert(Or(False)(True ) (True)(Null));
assert(Or(True )(False) (True)(Null));
assert(Or(True )(True ) (True)(Null));
}页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/67243779
复制相关文章
相似问题
腾讯云开发者
