如何在递归中只使用最后的值？
如何在递归中只使用最后的值？
提问于 2019-06-21 09:15:15
我正在开发一个程序，将z3表达式转换为qdimcas格式。下面的代码将qdimacs格式的代码打印到一个文件中。
在这里，每次调用函数时都会修改变量clause_count。有没有一种方法可以只使用或只打印clause_count的最终值？
#include<iostream>
#include "z3++.h"
#include<string>
#include<fstream>
using namespace z3;
using namespace std;
int dimacs(int t, string oprt, int arg_num,int element[],int variables)
{ int static clause_count = 0;
int static check =0;
std::cout<<"Value of T is: "<<t<<" operator is: "<<oprt<<" Nuumber of arguments: "<<arg_num<<endl;
if(arg_num==2)
std::cout<<element[0]<<" "<<element[1]<<endl;
else
std::cout<<element[0]<<endl;
ofstream myfile;
myfile.open("contents.txt",ios::app);
myfile.clear();
if(check == 0)
{
myfile<<"p cnf \n";
check++;
}
if(arg_num == 2)
{ clause_count+=3;
if(oprt.compare("and")==0)
{
myfile<<"-"<<t<<" "<<element[0]<<" 0 \n";
myfile<<"-"<<t<<" "<<element[1]<<" 0 \n";
myfile<<"-"<<element[0]<<" -"<<element[1]<<" "<<t<<" 0 \n";
myfile.close();
std::cout<<"printing done for AND.\n";
}
else if(oprt.compare("or")==0)
{
myfile<<t<<" -"<<element[0]<<" 0 \n";
myfile<<t<<" -"<<element[1]<<" 0 \n";
myfile<<"-"<<t<<" "<<element[0]<<" "<<element[1]<<" 0 \n";
myfile.close();
std::cout<<"printing done for OR.\n";
}
else if(oprt.compare("=>")==0)
{
myfile<<"-"<<t<<" -"<<element[0]<<" 0 \n";
myfile<<"-"<<t<<" "<<element[1]<<" 0\n";
myfile<<"-"<<element[1]<<" -"<<t<<" "<<element[0]<<" 0 \n";
myfile.close();
std::cout<<"printing done for implies.\n";
}
}
else if(arg_num == 1)
{ clause_count+=2;
if(oprt.compare("not")==0)
{
myfile<<"-"<<t<<" -"<<element[0]<<" 0\n";
myfile<<t<<" "<<element[0]<<" 0 \n";
myfile.close();
std::cout<<"printing done for NOT.\n";
}
}
std::cout<<clause_count<<endl;
std::cout<<variables<<endl;
}我基本上只需要存储clause_count的最终值并将其传递给另一个函数。
实际上有另一个文件调用此函数，该文件运行递归。通过递归调用，这个dimacs函数被调用，并通过它传递参数。最后，无论何时调用此函数，dimacs文件都会打印输出，输出应如下所示：
p cnf 3 4
1 2 0
2 1 0
2 4 0
4 5 0这里有行"p cnf“有两个值，即。3和4，其中4必须存储在我的程序的变量clause_count中。但是由于递归的原因，我打印了clause_count的每个值。我只需要最终的值。
回答 1
Stack Overflow用户
发布于 2019-06-21 09:47:13
由于您使用的是静态变量(基本上是全局变量，仅在dimacs中可见)，我建议将静态clause_count声明移到函数外部的全局变量声明中。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/56700370
复制相关文章
点击加载更多
相似问题
PostgreSQL只从每个递归中选择最后一行
PyQt -只产生最后的值
使用Stata只包含面板回归中的完整组
循环只插入最后的值。
数组只打印最后值
添加站长 进交流群
领取专属 10元无门槛券
AI混元助手 在线答疑
关注 腾讯云开发者公众号
洞察 腾讯核心技术
剖析业界实践案例
社区富文本编辑器全新改版！诚邀体验～
全新交互，全新视觉，新增快捷键、悬浮工具栏、高亮块等功能并同时优化现有功能，全面提升创作效率和体验
腾讯云开发者
