c++ - 如何在递归中只使用最终值？

Question

我正在开发一个将 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”行有 2 个值，即。 3 和 4，其中 4 必须存储在我程序中的变量 clause_count 中。但是由于递归，我打印了 clause_count 的每个值。我只需要最终值。

Answer 1

由于您使用的是静态变量(基本上是仅在 dimacs 中可见的全局变量)，我建议移动static clause_count 声明到函数外的全局变量声明。