實現真值表的一般模式

Question

實現真值表是否有一個很好的一般模式？

我正在重新編寫一些遺留代碼（C++），並意識到我正在使用的函數相當於一個帶有3個二進制輸入和8個可能輸出的真值表。這裏是2的8個測試和相應的輸出的一個示例：

// - + + 
if ((prevdst5 < 0.0) && (dst5 > 0.0) && (nextdst5 > 0.0)){ 
    thawpct = (dst5/(dst5 - prevdst5)); 
} 

// - - + 
if ((prevdst5 < 0.0) && (dst5 < 0.0) && (nextdst5 > 0.0)){ 
    thawpct = (nextdst5/(nextdst5 - dst5)); 
} 

// other cases... 

return thawpct; 

基本上我想知道是否有一個更清潔，更易於維護/可擴展的方式*設置此。

• 如果添加了另一個輸入會怎麼樣？那麼if語句所需的數量應該是16，在我看來，使用當前模式管理起來太麻煩了。
• 如果幾個輸入組合應該映射到相同的輸出怎麼辦？

*代碼庫是學術界使用的生態系統模型，因此根據編碼人員的觀點，維護和擴展相當於類似的東西。

Answer 1

數組是一張表。

布爾真值的序列是一個二進制數。

數組按數字索引。

SOOOOO .....

你可以定義一個函數爲每一個計算：

// - + + == 0 1 1 == 3 
inline double f3(double prev, double curr, double next) 
{ 
    return curr/(curr - prev); 
} 

// - - + == 0 0 1 == 1 
inline double f1(double prev, double curr, double next) 
{ 
    return next/(next - curr); 
} 

// ... 

然後聲明函數指針的數組：

typedef double (*func_type)(double, double, double); 
func_type funcs[8] = { 
    f1, f2, // ... 
}; 

然後索引到陣列使用布爾條件作爲二進制數字：

func_type f = funcs[ (int(prevdst5 < 0.0)<<2) | (int(dst5 < 0.0)<<1) | int(nextdst5 > 0.0) ]; 
thawpct = f(prevdst5, dst5, nextdst5); 

• 如果添加了另一個輸入會怎麼樣？ （然後測試的數目將是16，這在我視圖會很麻煩與當前模式來管理）

您加倍數組的大小並添加f8，f9等如果不同的計算是需要的，但你只添加新的測試一次，在數組索引：

func_type f = funcs[ (cond<<3) | (int(prevdst5 < 0.0)<<2) | (int(dst5 < 0.0)<<1) | int(nextdst5 > 0.0) ]; 

• 如果幾個輸入連擊應該映射到什麼相同的輸出？

存儲在陣列的幾個要素相同功能的指針：

func_type funcs[8] = { 
    f1, f2, f3, f1, f1, // ... 
}; 

Answer 2

你可以保持的3（或n）值的映射到需要執行適當的功能。然後根據條件的狀態true/false循環此映射中的函數並執行該操作。

這樣，你就必須（在所有dimentions有大小2）的3維地圖

Answer 3

int condition = (prev >= 0 ? (1<<0) : 0) + 
       (cur >= 0 ? (1<<1) : 0) + 
       (next >= 0 ? (1<<2) : 0); 

switch (condition) { 
    case 0: // - - - 
    case 1: // + - - 
    case 2: // - + - 
    case 3: // + + - 
    case 4: // - - + 
    case 5: // + - + 
    case 6: // - + + 
    case 7: // + + + 
}