てなぐさみのメモ: SCIP in C++11 ― 2.4節その3

従業員データベースの構築と問題2.74

辞書的にはInsatiable enterprises, Inc.＝「強欲社」とかなるか。

飽くことのない欲望という意味でアキナイ社という訳なのかな、飽きないと申しますし。

事業所名を型タグとして各従業員レコードに割り振って、

型ごとに情報を取り出す関数を自律制御させるわけで、、

つまりは複素数や問題2.73とあまり変わらない。

しかも集合の生成や要素探索は、すでに2.3.3節でひと通りのツールが出揃っているので、

思ったよりも楽。んで東京事業所とEU事業所を作り、

東京事業所は木で、EU事業所はリストで名簿を作ってあることにしたが、

それだけだとlookupが強力すぎて実装が変わらないので、

さらに、東京事業所はデータを従業員名キーで律儀にソートしてあるが、

EU事業所はソートしていないことにした。

問題2.74bでget-recordの結果をさらに自律処理させるために、

get-recordが事業所情報も返さなければならない。

それにはlookupでヒットした事業所レコードに、事業所タグを付け直せば良い。

なおEU事業所の名簿で、ローマのカトーは本当はCatoだが、

加藤清正とダブらせるためにあえてKatoで押す。

----

typedef List Record;

typedef List BranchData;

typedef List HeadQuarterRecord;

class InsatiableInc{

public:

InsatiableInc(const TagType tagIn):tagString(tagIn){}

virtual ~InsatiableInc(void){};

const TagType getTag(void)const{return(this->tagString);}

virtual const Record getRecord

(const BranchData&,const string&)const=0;

virtual const int getSalary(const HeadQuarterRecord&)const=0;

virtual const HeadQuarterRecord tag

(const BranchData& branchData)const

{return(attachTag(this->getTag(),branchData));}

private:

const TagType tagString;

};

class TokyoBranch:public InsatiableInc{

public:

TokyoBranch(void):InsatiableInc("Tokyo"){

put("get-record",this->getTag(),

makeLeaf(function<Record(BranchData,string)>

([this](const BranchData& branchData,

const string& name)

{return(this->getRecord(branchData,name));})));

put("get-salary",this->getTag(),

makeLeaf(function<int(HeadQuarterRecord)>

([this](const HeadQuarterRecord& record)

{return(this->getSalary(record));})));

}

const HeadQuarterRecord getRecord(const BranchData& branchList,

const string& name)const override

{return(this->tag(lookup(name,branchList)));}

const int getSalary(const HeadQuarterRecord& record)const override

{

if(isNull(cdr(record))){return(0);}

return(value<int>(cadadr(record)));

}

};

class EUBranch:public InsatiableInc{

public:

EUBranch(void):InsatiableInc("EU"){

put("get-record",this->getTag(),

makeLeaf(function<Record(BranchData,string)>

([this](const BranchData& branchData,

const string& name)

{return(this->getRecord(branchData,name));})));

put("get-salary",this->getTag(),

makeLeaf(function<int(HeadQuarterRecord)>

([this](const HeadQuarterRecord& record)

{return(this->getSalary(record));})));

}

const HeadQuarterRecord getRecord(const BranchData& branchList,

const string& name)const override

{return(this->tag(lookupUnordered(name,branchList)));}

const int getSalary(const HeadQuarterRecord& record)const override

{

if(isNull(cdr(record))){return(0);}

return(value<int>(caddr(record)));

}

};

//---------abstraction barrier---------

InsatiableInc* _tokyoBranch(nullptr);

const void installTokyoBranch(void){

_tokyoBranch=new TokyoBranch();

}

InsatiableInc* _EUBranch(nullptr);

const void installEUBranch(void){

_EUBranch=new EUBranch();

}

const void uninstallBranches(void){

if(nullptr!=_tokyoBranch) delete _tokyoBranch;

if(nullptr!=_EUBranch) delete _EUBranch;

}

//---------abstraction barrier---------

const string branch(const BranchData branchData)

{return(value<string>(car(branchData)));}

const BranchData branchList(const BranchData& branchData)

{return(cdr(branchData));}

// get-record

const HeadQuarterRecord getRecord(const BranchData& branchData,

const string& name)

{

const List recordFunLeaf(get("get-record",branch(branchData)));

if(isFunction(recordFunLeaf)){

const auto recordFun

(executable<Record,BranchData,string>(recordFunLeaf));

return(recordFun(branchList(branchData),name));

}

return(0);

}

//get-salary

const int getSalary(const HeadQuarterRecord& record)

{

const List salaryFunLeaf(get("get-salary",

value<TagType>(car(record))));

if(isFunction(salaryFunLeaf)){

const auto salaryFun

(executable<int,HeadQuarterRecord>(salaryFunLeaf));

return(salaryFun(cdr(record)));

}

return(0);

}

//---------abstraction barrier---------

//find-employee-record

const List findEmployeeRecord

(const string& name,const List& allBranchList)

{

const function<HeadQuarterRecord(BranchData)>

getEmployeeRecords

=[name](const BranchData& branchRecord)

{return(getRecord(branchRecord,name));};

return(mapping(getEmployeeRecords,allBranchList));

}

//make a list for Tokyo branch

const List addTokyoBranchMember

(const List& employeeList,

const string name, const string address, const int salary)

{

return(adjoinSet(makeList(name,makeList(address,salary)),employeeList));

}

const BranchData makeTokyoBranchEnployees(void){

if(_tokyoBranch==nullptr){return(makeList());}

List branchList(makeList());

if(_tokyoBranch!=nullptr){