C / C ++：非整数のスイッチ
多くの場合、POD以外の定数要素の値に応じて、次のような処理を選択する必要があります。
switch( str ) {
case "foo": ...
case "bar": ...
default: ...
}
残念ながらswitchは整数でのみ使用できます：error: switch quantity not an integer。
そのようなことを実装する最も簡単な方法は、ifsのシーケンスです：
if( str == "foo" ) ...
else if( str == "bar" ) ...
else ...
しかし、このソリューションは汚いように見え、O（n）のコストが必要です（nはケースの数です）。そのコードの一部は、バイナリ検索の最悪のケースでO（log n）のコストがかかります。
いくつかのデータ構造（マップなど）を使用して、文字列（O（log n））を表す整数を取得し、O(1) switch 、またはifsを正しい方法でネストして静的バイナリソートを実装することもできますが、それでもこれらのhacksは多くのコーディングを必要とし、すべてがより複雑で保守が難しくなります。
これを行う最良の方法は何ですか？ （switchステートメントがそうであるように、高速でクリーンでシンプルです）
厄介なマクロとテンプレートマジックを使用すると、コンパイル時に展開されたバイナリ検索をきれいな構文で取得できますが、MATCHES（ "case"）はsorted： fastmatch.h
_NEWMATCH
MATCH("asd")
some c++ code
MATCH("bqr")
... the buffer for the match is in _buf
MATCH("zzz")
... user.YOURSTUFF
/*ELSE
optional
*/
ENDMATCH(xy_match)
_これは（大体）関数bool xy_match(char *&_buf,T &user)を生成するので、外側のレベルになければなりません。それを呼び出しますで：
_xy_match("bqr",youruserdata);
_また、breaksは暗黙的であり、フォールスルーすることはできません。また、あまり文書化されていません、ごめんなさい。しかし、使用法の可能性がいくつかあることがわかります。注：g ++でのみテストされています。
C++ 11の更新：
ラムダとイニシャライザリストにより、非常にきれいになります（マクロは含まれません）。
_#include <utility>
#include <algorithm>
#include <initializer_list>
template <typename KeyType,typename FunPtrType,typename Comp>
void Switch(const KeyType &value,std::initializer_list<std::pair<const KeyType,FunPtrType>> sws,Comp comp) {
typedef std::pair<const KeyType &,FunPtrType> KVT;
auto cmp=[&comp](const KVT &a,const KVT &b){ return comp(a.first,b.first); };
auto val=KVT(value,FunPtrType());
auto r=std::lower_bound(sws.begin(),sws.end(),val,cmp);
if ( (r!=sws.end())&&(!cmp(val,*r)) ) {
r->second();
} // else: not found
}
#include <string.h>
#include <stdio.h>
int main()
{
Switch<const char *,void (*)()>("ger",{ // sorted:
{"asdf",[]{ printf("0\n"); }},
{"bde",[]{ printf("1\n"); }},
{"ger",[]{ printf("2\n"); }}
},[](const char *a,const char *b){ return strcmp(a,b)<0;});
return 0;
}
_それがアイデアです。より完全な実装は、ここにあります： switch.hpp 。
更新2016：コンパイルタイムトライ
この問題に関する私の最新の見解では、高度なc ++ 11メタプログラミングを使用して、コンパイル時に search-trie を生成します。前のアプローチとは異なり、これはunsortedcase-branches/stringsをうまく処理します。それらは文字列リテラルでなければなりません。 G ++ではconstexprも使用できますが、clangは使用できません（HEAD 3.9.0/trunk 274233））。
各トライノードでは、コンパイラーの高度なコードジェネレーターを利用するためにスイッチステートメントが利用されます。
完全な実装は、githubで入手できます： smilingthax/cttrie 。
C++では、_std::map<std::string, functionPointerType>_を使用してO(lg n)パフォーマンスを取得できます。 （Cでは、基本的に同じものを実装できますが、より困難になります）_std::map<k, v>::find_を使用して適切な関数ポインターを引き出し、そのポインターを呼び出します。もちろん、それは言語でサポートされているswitchステートメントほど簡単ではありません。一方、O(n)とO(lg n)の間に大きな違いが生じるほど十分なアイテムがある場合、それはおそらく、異なるデザインに行くべきであることを示しています。最初の場所。
個人的には、とにかくELSEIFチェーンの方が読みやすいといつも思っています。
以下のようなマップまたはunordered_mapを使用せずに、これを達成できます。最初の文字のみを比較して、どの文字列を識別するか。複数の一致がある場合、そのcaseステートメント内のif/elseチェーンにフォールバックできます。同じ文字で始まる文字列が多くない場合、比較の数は大幅に削減されます。
char *str = "foo";
switch(*str)
{
case 'f':
//do something for foo
cout<<"Foo";
break;
case 'b':
//do something for bar
break;
case 'c':
if(strcmp(str, "cat") == 0)
{
//do something for cat
}
else if(strcmp(str, "camel") == 0)
{
//do something for camel
}
}
これは、標準ではありませんが、コストをかけずに最適なソリューションに見えます。
if...else blockを使用します。見た目がきれいではないことを除けば、あなたには本当に説得力のある理由はありません。if...elseブロックは最も簡単なソリューションです。
それ以外はすべて、追加のコードが必要であり、言うように複雑さが増します。そして、それはjustさを他の場所に移動させるだけです。しかし、あるレベルでは、文字列の比較がまだ発生する必要があります。これで、さらに多くのコードでカバーできました。
mightマップまたはハッシュマップを使用するとパフォーマンスがいくらか向上しますが、スマートオーダーを選択してif...elseブロックを評価するだけで、同様のゲインを得ることができます。また、パフォーマンス上の理由でマップに切り替えるのは、実際には時期尚早なマイクロ最適化です。
Cには、2つの一般的なソリューションがあります。 1つ目は、キーワードをソートされた配列に保持することです。
typedef struct Keyword {
const char *Word;
int sub;
int type;
} Keyword;
Keyword keywords[] ={ /* keep sorted: binary searched */
{ "BEGIN", XBEGIN, XBEGIN },
{ "END", XEND, XEND },
{ "NF", VARNF, VARNF },
{ "atan2", FATAN, BLTIN },
...
};
そして、それらに対して バイナリ検索 を実行します。前の例は、CグランドマスターのBrian W. Kernighanによる awk のソースコードからの抜粋です。
もう1つのソリューションは、[〜＃〜] o [〜＃〜]（min（m、n））ifnは入力文字列の長さとm最も長いキーワードの長さは、Lexプログラムなどの有限状態ソリューションを使用することです。
そのようなものは複雑すぎるでしょうか？
#include <iostream>
#include <map>
struct object
{
object(int value): _value(value) {}
bool operator< (object const& rhs) const
{
return _value < rhs._value;
}
int _value;
};
typedef void(*Func)();
void f1() {
std::cout << "f1" << std::endl;
}
void f2() {
std::cout << "f2" << std::endl;
}
void f3() {
std::cout << "f3" << std::endl;
}
int main()
{
object o1(0);
object o2(1);
object o3(2);
std::map<object, Func> funcMap;
funcMap[o1] = f1;
funcMap[o2] = f2;
funcMap[o3] = f3;
funcMap[object(0)](); // prints "f1"
funcMap[object(1)](); // prints "f2"
funcMap[object(2)](); // prints "f3"
}
これは、ラムダとunordered_mapソリューションの精神に似ていますが、非常に自然で読みやすい構文で、これは両方の世界で最高だと思います：
#include "switch.h"
#include <iostream>
#include <string>
int main(int argc, const char* argv[])
{
std::string str(argv[1]);
Switch(str)
.Case("Apple", []() { std::cout << "Apple" << std::endl; })
.Case("banana", []() { std::cout << "banana" << std::endl; })
.Default( []() { std::cout << "unknown" << std::endl; });
return 0;
}
switch.h：
#include <unordered_map>
#include <functional>
template<typename Key>
class Switcher {
public:
typedef std::function<void()> Func;
Switcher(Key key) : m_impl(), m_default(), m_key(key) {}
Switcher& Case(Key key, Func func) {
m_impl.insert(std::make_pair(key, func));
return *this;
}
Switcher& Default(Func func) {
m_default = func;
return *this;
}
~Switcher() {
auto iFunc = m_impl.find(m_key);
if (iFunc != m_impl.end())
iFunc->second();
else
m_default();
}
private:
std::unordered_map<Key, Func> m_impl;
Func m_default;
Key m_key;
};
template<typename Key>
Switcher<Key> Switch(Key key)
{
return Switcher<Key>(key);
}
動作するサンプルコードを次に示します。
これは動作するはずです。
（ただし、4バイト以下の文字列のみ）
これは、文字列を4バイト整数として扱います。
これは見苦しく、移植性がなく、「ハッキング」ではなく、まったく良いスタイルではありません。しかし、それはあなたが望むことをします。
#include "Winsock2.h"
#pragma comment(lib,"ws2_32.lib")
void main()
{
char day[20];
printf("Enter the short name of day");
scanf("%s", day);
switch(htonl(*((unsigned long*)day)))
{
case 'Sun\0':
printf("sunday");
break;
case 'mon\0':
printf("monday");
break;
case 'Tue\0':
printf("Tuesday");
break;
case 'wed\0':
printf("wednesday");
break;
case 'Thu\0':
printf("Thursday");
break;
case 'Fri\0':
printf("friday");
break;
case 'sat\0':
printf("saturday");
break;
}
}
MSVC2010でテスト済み
任意のタイプc/c ++ switch implementation を使用できます。コードは次のようになります。
std::string name = "Alice";
std::string gender = "boy";
std::string role;
SWITCH(name)
CASE("Alice") FALL
CASE("Carol") gender = "girl"; FALL
CASE("Bob") FALL
CASE("Dave") role = "participant"; BREAK
CASE("Mallory") FALL
CASE("Trudy") role = "attacker"; BREAK
CASE("Peggy") gender = "girl"; FALL
CASE("Victor") role = "verifier"; BREAK
DEFAULT role = "other";
END
// the role will be: "participant"
// the gender will be: "girl"
std::pairsなどのより複雑な型、または等価演算（またはquickモードの比較）をサポートする構造体またはクラスを使用することができます。
特徴
- 比較または同等性のチェックをサポートするあらゆるタイプのデータ
- カスケードネストされたスイッチステートメンを構築する可能性。
- ケースステートメントを破るか、失敗する可能性
- 非定数のケース式を使用する可能性
- ツリー検索でクイック静的/動的モードを有効にすることが可能（C++ 11の場合）
言語切り替えとのシンタックスの違いは
- 大文字のキーワード
- cASEステートメントには括弧が必要です
- セミコロン「;」ステートメントの終わりでは許可されていません
- cASEステートメントのコロン '：'は許可されません
- cASEステートメントの終わりにBREAKまたはFALLキーワードのいずれかが必要
C++97言語では線形検索を使用しました。 C++11以降の場合、CASEのreturnステートメントが許可されなくなるquickモードwuthツリー検索を使用できます。 C言語実装は、char*タイプとゼロで終わる文字列の比較が使用される場所に存在します。
読む 詳細 このスイッチの実装。
あなたはまだスイッチを使用することができます..手前にラベルを知っている場合..（これは非常に厄介です（つまり、チェックはありませんが、有効なヌル終了文字列がある限り追加するのは簡単です！）、想像する必要がありますこれはほとんどのオプションよりも高速に実行されますか？
//labels: "abc", "foo", "bar", "ant" "do"
switch(lbl[0])
{
case 'a':
{
switch(lbl[1])
{
case 'b': // abc
case 'n': // ant
default: // doofus!
}
}
case 'b':
{
switch(lbl[1])
{
case 'a': //bar
default: // doofus
}
}
case 'd':
{
switch(lbl[1])
{
case 'o': //do
default: // doofus
}
}
case 'f':
{
switch(lbl[1])
{
case 'o': //foo
default: // doofus
}
}
}
もちろん、「ラベル」の非常に大きなリストがある場合、これは非常に複雑になります...
My switch macros を使用できます。これは、あらゆる種類の値タイプをサポートします。いくつかのケースでは、op==数回連続して、毎回マップを作成して検索するよりも桁違いに高速です。
sswitch(s) {
scase("foo"): {
std::cout << "s is foo" << std::endl;
break; // could fall-through if we wanted
}
// supports brace-less style too
scase("bar"):
std::cout << "s is bar" << std::endl;
break;
// default must be at the end
sdefault():
std::cout << "neither of those!" << std::endl;
break;
}
この例のように を使用できるメタプログラミングベースのハッシュジェネレーターが思い浮かびます。これはc ++ 0x用ですが、標準C++でも同様に再現できると確信しています。
LLVMには llvm::StringSwitch 次のように使用します。
Color color = StringSwitch<Color>(argv[i])
.Case("red", Red)
.Case("orange", Orange)
.Case("yellow", Yellow)
.Case("green", Green)
.Case("blue", Blue)
.Case("Indigo", Indigo)
.Cases("Violet", "purple", Violet)
.Default(UnknownColor);
ここでの主な利点は、ハッシュの衝突による問題がないことです。実際の文字列は、ケースが受け入れられる前に常に比較されます。
しばらく前に、任意のデータ型で使用可能な、ある種のスイッチ同等物を実現するテンプレートクラスを作成しました。ただし、アプリケーションフィールドを制限するいくつかの制約があります。
- 各ブランチで達成するタスクは関数呼び出しでなければなりません。
- 呼び出す関数には、1つの引数があります（または、なし、または2つ、テンプレートを調整できますが、すべての関数で同じである必要があります）。
- 関数に渡される引数値は、すべての場合で同じです（ただし、スイッチが実行された時点で与えられます）。
たとえば、タイプMyTypeの値をオンにし、value1と等しい場合はfunction1("abc")を呼び出し、value2と等しい場合はfunction2("abc")を呼び出します（など） ）。これは次のようになります。
// set up the object
// Type - function sig - function arg. type
SWITCH mySwitch< MyType, void(*)(const std::string&), std::string >;
mySwitch.Add( value1, function1 );
mySwitch.Add( value2, function2 );
mySwitch.AddDefault( function_def );
// process the value
MyType a =...// whatever.
mySwitch.Process( a, "abc" );
基本的に、std :: mapコンテナーをラップし、値/関数のペアを保持します。また、スイッチを非常に興味深いものにする「デフォルト」を処理することもできます。他の状況に簡単に適合させることができます。コードは次のとおりです。
template < typename KEY, typename FUNC, typename ARG >
class SWITCH
{
public:
SWITCH()
{
Def = 0; // no default function at startup
}
void Process( const KEY& key, ARG arg )
{
typename std::map< KEY, FUNC >::const_iterator it = my_map.find( key );
if( it != my_map.end() ) // If key exists, call
it->second( arg ); // associated function
else // else, call
if( Def ) // default function, if there is one.
Def( arg ); // else, do nothing
}
void Add( const KEY& key, FUNC my_func )
{
typename std::map< KEY, FUNC >::const_iterator it = my_map.find( key );
if( it != my_map.end() )
{
throw "Already defined !\n";
}
my_map[ key ] = my_func;
}
void AddDefault( FUNC f )
{
Def = f;
}
private:
std::map< KEY, FUNC > my_map;
FUNC Def; // default function
};
その他の詳細 こちら 。
Const char *による切り替えは、たとえ許可されていても、意図したとおりに動作しないことに注意してください。
C文字列は、実際にはcharへのポインターです。あなたが提案したようなコード：
// pseudocode (incorrect C!):
switch(str) {
case "a": ...
case "b": ...
}
私たちの言語が一貫していれば-実際の文字列の内容ではなくポインタ値を比較になります。文字列の比較にはstrcmp()が必要です。したがって、コンパイラが「char*に切り替えている場合、おそらく==の代わりにstrcmp()を使用してください」とにかく設計）、とにかくコンパイラが整数とジャンプを使ってO(1)ハックのようにこれを動作させることは不可能です。
C/C++はサポートされていないので、気にしないでください。 :)
O(logn)ソリューションをマップ(string -> funcptr)または(string -> some abstract object)で使用することをお勧めします-ここで拡張性が必要だと感じた場合。そうでない場合、O(n)のelse ifのソリューションに特に問題はありません。明確で保守可能なコードであるため、気にする必要はありません。
勝利への道を切り開く
この輝かしいスタックオーバーフローのようなコンパイル時ハッシュ関数を使用できます answer 。関数を作成する場合
int_crc32_sは、実行時に文字列のハッシュを返します。int_crc32は、コンパイル時に文字列のハッシュを返します
設定されています。キー文字列とケース文字列のcrcの誤った一致を処理するには、一致の明示的なチェックを含める必要があります。これは単一のチェックであるため、実際にはパフォーマンスには影響しませんが、はるかにいものになり、マクロバージョンはより見栄えがよくなります。
同じCRC32 を持つこれら2つの文字列を見つけました。
//two strings that yield same crc32
const char* collision1="DeferredAmbient_6_1_18-1of2_5";
const char* collision2="PostEffect_Lighting_18_6-0of1_8_14_13-1of2_19";
マクロなし
//without macros (you need to check for collisions)
switch( int_crc32_s(str.c_str()) )
{
case int_crc32("foo"): if( str=="foo"){std::cout << "foo you\n"; break;}
case int_crc32("bar"): if( str=="bar"){std::cout << "bar you\n"; break;}
case int_crc32("baz"): if( str=="baz"){std::cout << "baz you\n"; break;}
case int_crc32("PostEffect_Lighting_18_6-0of1_8_14_13-1of2_19"):
if( str=="PostEffect_Lighting_18_6-0of1_8_14_13-1of2_19"){
std::cout << "jackpot!\n"; break;
}
default: std::cout << "just you\n";
}
マクロあり
//convenient macros
#define S_SWITCH( X ) const char* SWITCH_KEY(X.c_str()); switch( int_crc32_s(X.c_str()) )
#define S_CASE( X ) case int_crc32(X): if( strcmp(SWITCH_KEY,X) ){ goto S_DEFAULT_LABEL;}
#define S_DEFAULT S_DEFAULT_LABEL: default:
//with macros
S_SWITCH( str )
{
S_CASE("foo"){ std::cout << "foo you\n"; break; }
S_CASE("bar"){ std::cout << "bar you\n"; break; }
S_CASE("baz"){ std::cout << "baz you\n"; break; }
S_CASE("PostEffect_Lighting_18_6-0of1_8_14_13-1of2_19"){ std::cout << "jackpot!\n"; break; }
S_DEFAULT{ std::cout << "just you\n"; }
}
完全な実装[ Gist ]
// This is a demonstration of using a COMPILE-TIME hash to do a
// switch statement with a string to answer this question.
//
// https://stackoverflow.com/questions/4165131/c-c-switch-for-non-integers
//
// It is based on the StackOverflow question:
// https://stackoverflow.com/questions/2111667/compile-time-string-hashing
//
// And the solution
// https://stackoverflow.com/questions/2111667/compile-time-string-hashing/23683218#23683218
//
#include <iostream>
#include <string>
#include <vector>
namespace detail {
// CRC32 Table (zlib polynomial)
static constexpr uint32_t crc_table[256] =
{
0x00000000, 0x77073096, 0xee0e612c, 0x990951ba, 0x076dc419, 0x706af48f,
0xe963a535, 0x9e6495a3, 0x0edb8832, 0x79dcb8a4, 0xe0d5e91e, 0x97d2d988,
0x09b64c2b, 0x7eb17cbd, 0xe7b82d07, 0x90bf1d91, 0x1db71064, 0x6ab020f2,
0xf3b97148, 0x84be41de, 0x1adad47d, 0x6ddde4eb, 0xf4d4b551, 0x83d385c7,
0x136c9856, 0x646ba8c0, 0xfd62f97a, 0x8a65c9ec, 0x14015c4f, 0x63066cd9,
0xfa0f3d63, 0x8d080df5, 0x3b6e20c8, 0x4c69105e, 0xd56041e4, 0xa2677172,
0x3c03e4d1, 0x4b04d447, 0xd20d85fd, 0xa50ab56b, 0x35b5a8fa, 0x42b2986c,
0xdbbbc9d6, 0xacbcf940, 0x32d86ce3, 0x45df5c75, 0xdcd60dcf, 0xabd13d59,
0x26d930ac, 0x51de003a, 0xc8d75180, 0xbfd06116, 0x21b4f4b5, 0x56b3c423,
0xcfba9599, 0xb8bda50f, 0x2802b89e, 0x5f058808, 0xc60cd9b2, 0xb10be924,
0x2f6f7c87, 0x58684c11, 0xc1611dab, 0xb6662d3d, 0x76dc4190, 0x01db7106,
0x98d220bc, 0xefd5102a, 0x71b18589, 0x06b6b51f, 0x9fbfe4a5, 0xe8b8d433,
0x7807c9a2, 0x0f00f934, 0x9609a88e, 0xe10e9818, 0x7f6a0dbb, 0x086d3d2d,
0x91646c97, 0xe6635c01, 0x6b6b51f4, 0x1c6c6162, 0x856530d8, 0xf262004e,
0x6c0695ed, 0x1b01a57b, 0x8208f4c1, 0xf50fc457, 0x65b0d9c6, 0x12b7e950,
0x8bbeb8ea, 0xfcb9887c, 0x62dd1ddf, 0x15da2d49, 0x8cd37cf3, 0xfbd44c65,
0x4db26158, 0x3ab551ce, 0xa3bc0074, 0xd4bb30e2, 0x4adfa541, 0x3dd895d7,
0xa4d1c46d, 0xd3d6f4fb, 0x4369e96a, 0x346ed9fc, 0xad678846, 0xda60b8d0,
0x44042d73, 0x33031de5, 0xaa0a4c5f, 0xdd0d7cc9, 0x5005713c, 0x270241aa,
0xbe0b1010, 0xc90c2086, 0x5768b525, 0x206f85b3, 0xb966d409, 0xce61e49f,
0x5edef90e, 0x29d9c998, 0xb0d09822, 0xc7d7a8b4, 0x59b33d17, 0x2eb40d81,
0xb7bd5c3b, 0xc0ba6cad, 0xedb88320, 0x9abfb3b6, 0x03b6e20c, 0x74b1d29a,
0xead54739, 0x9dd277af, 0x04db2615, 0x73dc1683, 0xe3630b12, 0x94643b84,
0x0d6d6a3e, 0x7a6a5aa8, 0xe40ecf0b, 0x9309ff9d, 0x0a00ae27, 0x7d079eb1,
0xf00f9344, 0x8708a3d2, 0x1e01f268, 0x6906c2fe, 0xf762575d, 0x806567cb,
0x196c3671, 0x6e6b06e7, 0xfed41b76, 0x89d32be0, 0x10da7a5a, 0x67dd4acc,
0xf9b9df6f, 0x8ebeeff9, 0x17b7be43, 0x60b08ed5, 0xd6d6a3e8, 0xa1d1937e,
0x38d8c2c4, 0x4fdff252, 0xd1bb67f1, 0xa6bc5767, 0x3fb506dd, 0x48b2364b,
0xd80d2bda, 0xaf0a1b4c, 0x36034af6, 0x41047a60, 0xdf60efc3, 0xa867df55,
0x316e8eef, 0x4669be79, 0xcb61b38c, 0xbc66831a, 0x256fd2a0, 0x5268e236,
0xcc0c7795, 0xbb0b4703, 0x220216b9, 0x5505262f, 0xc5ba3bbe, 0xb2bd0b28,
0x2bb45a92, 0x5cb36a04, 0xc2d7ffa7, 0xb5d0cf31, 0x2cd99e8b, 0x5bdeae1d,
0x9b64c2b0, 0xec63f226, 0x756aa39c, 0x026d930a, 0x9c0906a9, 0xeb0e363f,
0x72076785, 0x05005713, 0x95bf4a82, 0xe2b87a14, 0x7bb12bae, 0x0cb61b38,
0x92d28e9b, 0xe5d5be0d, 0x7cdcefb7, 0x0bdbdf21, 0x86d3d2d4, 0xf1d4e242,
0x68ddb3f8, 0x1fda836e, 0x81be16cd, 0xf6b9265b, 0x6fb077e1, 0x18b74777,
0x88085ae6, 0xff0f6a70, 0x66063bca, 0x11010b5c, 0x8f659eff, 0xf862ae69,
0x616bffd3, 0x166ccf45, 0xa00ae278, 0xd70dd2ee, 0x4e048354, 0x3903b3c2,
0xa7672661, 0xd06016f7, 0x4969474d, 0x3e6e77db, 0xaed16a4a, 0xd9d65adc,
0x40df0b66, 0x37d83bf0, 0xa9bcae53, 0xdebb9ec5, 0x47b2cf7f, 0x30b5ffe9,
0xbdbdf21c, 0xcabac28a, 0x53b39330, 0x24b4a3a6, 0xbad03605, 0xcdd70693,
0x54de5729, 0x23d967bf, 0xb3667a2e, 0xc4614ab8, 0x5d681b02, 0x2a6f2b94,
0xb40bbe37, 0xc30c8ea1, 0x5a05df1b, 0x2d02ef8d
};
//constexpr combine
template<size_t idx>
constexpr uint32_t combine_crc32(const char * str, uint32_t part) {
return (part >> 8) ^ crc_table[(part ^ str[idx]) & 0x000000FF];
}
//constexpr driver
template<size_t idx>
constexpr uint32_t crc32(const char * str) {
return combine_crc32<idx>(str, crc32<idx - 1>(str));
}
//constexpr recursion stopper
template<>
constexpr uint32_t crc32<size_t(-1)>(const char * str) {
return 0xFFFFFFFF;
}
//runtime combine
uint32_t combine_crc32_s(size_t idx, const char * str, uint32_t part) {
return (part >> 8) ^ crc_table[(part ^ str[idx]) & 0x000000FF];
}
//runtime driver
uint32_t crc32_s(size_t idx, const char * str) {
if( idx==static_cast<size_t>(-1) )return 0xFFFFFFFF;
return combine_crc32_s(idx, str, crc32_s(idx-1,str));
}
} //namespace detail
//constexpr that returns unsigned int
template <size_t len>
constexpr uint32_t uint_crc32(const char (&str)[len]) {
return detail::crc32<len - 2>(str) ^ 0xFFFFFFFF;
}
//constexpr that returns signed int
template <size_t len>
constexpr int int_crc32(const char (&str)[len]) {
return static_cast<int>( uint_crc32(str) );
}
//runtime that returns unsigned int
uint32_t uint_crc32_s( const char* str ) {
return detail::crc32_s(strlen(str)-1,str) ^ 0xFFFFFFFF;
}
//runtime that returns signed int
int int_crc32_s( const char* str) {
return static_cast<int>( uint_crc32_s(str) );
}
//convenient macros
#define S_SWITCH( X ) const char* SWITCH_KEY(X.c_str()); switch( int_crc32_s(X.c_str()) )
#define S_CASE( X ) case int_crc32(X): if( strcmp(SWITCH_KEY,X) ){ goto S_DEFAULT_LABEL;}
#define S_DEFAULT S_DEFAULT_LABEL: default:
int main()
{
std::string str;
std::cin >> str;
//two strings that yield same crc32
const char* collision1="DeferredAmbient_6_1_18-1of2_5";
const char* collision2="PostEffect_Lighting_18_6-0of1_8_14_13-1of2_19";
//without macros (you need to check
switch( int_crc32_s(str.c_str()) )
{
case int_crc32("foo"): if( str=="foo"){std::cout << "foo you\n"; break;}
case int_crc32("bar"): if( str=="bar"){std::cout << "bar you\n"; break;}
case int_crc32("baz"): if( str=="baz"){std::cout << "baz you\n"; break;}
case int_crc32("PostEffect_Lighting_18_6-0of1_8_14_13-1of2_19"):
if( str=="PostEffect_Lighting_18_6-0of1_8_14_13-1of2_19"){
std::cout << "jackpot!\n"; break;
}
default: std::cout << "just you\n";
}
//with macros
S_SWITCH( str )
{
S_CASE("foo"){ std::cout << "foo you\n"; break; }
S_CASE("bar"){ std::cout << "bar you\n"; break; }
S_CASE("baz"){ std::cout << "baz you\n"; break; }
S_CASE("PostEffect_Lighting_18_6-0of1_8_14_13-1of2_19"){ std::cout << "jackpot!\n"; break; }
S_DEFAULT{ std::cout << "just you\n"; }
}
}