如前所述，编译器喜欢构建查找表，尽可能地将switch语句优化到接近O(1)的时间。再加上c++语言没有字符串类型——std::string是标准库的一部分，而标准库本身不是语言的一部分。

我将提供一个你可能想要考虑的替代方案，我过去用过它，效果很好。不是切换字符串本身，而是切换使用字符串作为输入的哈希函数的结果。如果你使用一组预先确定的字符串，你的代码几乎和切换字符串一样清晰:

enum string_code {
    eFred,
    eBarney,
    eWilma,
    eBetty,
    ...
};

string_code hashit (std::string const& inString) {
    if (inString == "Fred") return eFred;
    if (inString == "Barney") return eBarney;
    ...
}

void foo() {
    switch (hashit(stringValue)) {
    case eFred:
        ...
    case eBarney:
        ...
    }
}

这里有一堆明显的优化，基本上遵循了C编译器对switch语句的处理……真有趣。

这是因为c++将开关转换为跳转表。它对输入数据执行简单的操作，并在不进行比较的情况下跳转到适当的地址。因为字符串不是一个数字，而是一个数字数组，所以c++不能从它创建一个跳转表。

movf    INDEX,W     ; move the index value into the W (working) register from memory
addwf   PCL,F       ; add it to the program counter. each PIC instruction is one byte
                    ; so there is no need to perform any multiplication. 
                    ; Most architectures will transform the index in some way before 
                    ; adding it to the program counter

table                   ; the branch table begins here with this label
    goto    index_zero  ; each of these goto instructions is an unconditional branch
    goto    index_one   ; of code
    goto    index_two
    goto    index_three

index_zero
    ; code is added here to perform whatever action is required when INDEX = zero
    return

index_one
...

(代码来自维基百科https://en.wikipedia.org/wiki/Branch_table)

问题是，由于优化的原因，c++中的switch语句只能用于基本类型，你只能将它们与编译时常量进行比较。

这种限制的原因可能是编译器能够应用某种形式的优化，将代码编译为一个cmp指令和一个goto，其中地址是根据运行时参数的值计算的。由于分支和循环在现代cpu上不能很好地发挥作用，因此这可能是一个重要的优化。

要解决这个问题，恐怕你将不得不求助于if语句。

std::map + c++ 11没有枚举的lambdas模式

潜在的平摊O(1)的unordered_map:在c++中使用HashMap的最佳方式是什么?

#include <functional>
#include <iostream>
#include <string>
#include <unordered_map>
#include <vector>

int main() {
    int result;
    const std::unordered_map<std::string,std::function<void()>> m{
        {"one",   [&](){ result = 1; }},
        {"two",   [&](){ result = 2; }},
        {"three", [&](){ result = 3; }},
    };
    const auto end = m.end();
    std::vector<std::string> strings{"one", "two", "three", "foobar"};
    for (const auto& s : strings) {
        auto it = m.find(s);
        if (it != end) {
            it->second();
        } else {
            result = -1;
        }
        std::cout << s << " " << result << std::endl;
    }
}

输出:

one 1
two 2
three 3
foobar -1

在静态方法中使用

要在类中有效地使用这种模式，可以静态地初始化lambda映射，否则每次从头构建时都要付出O(n)。

在这里，我们可以摆脱静态方法变量的{}初始化:类方法中的静态变量，但我们也可以使用在:c++中的静态构造函数?我需要初始化私有静态对象

必须将lambda上下文捕获[&]转换为参数，否则将未定义:const static auto lambda与capture by reference一起使用

示例，产生与上面相同的输出:

#include <functional>
#include <iostream>
#include <string>
#include <unordered_map>
#include <vector>

class RangeSwitch {
public:
    void method(std::string key, int &result) {
        static const std::unordered_map<std::string,std::function<void(int&)>> m{
            {"one",   [](int& result){ result = 1; }},
            {"two",   [](int& result){ result = 2; }},
            {"three", [](int& result){ result = 3; }},
        };
        static const auto end = m.end();
        auto it = m.find(key);
        if (it != end) {
            it->second(result);
        } else {
            result = -1;
        }
    }
};

int main() {
    RangeSwitch rangeSwitch;
    int result;
    std::vector<std::string> strings{"one", "two", "three", "foobar"};
    for (const auto& s : strings) {
        rangeSwitch.method(s, result);
        std::cout << s << " " << result << std::endl;
    }
}

我认为原因是在C语言中字符串不是基本类型，就像tomjen说的，把字符串看作一个char数组，所以你不能做这样的事情:

switch (char[]) { // ...
switch (int[]) { // ...

在许多情况下，您可以通过从字符串中提取第一个字符并打开它来进行额外的工作。如果您的case以相同的值开始，可能最终必须在charat(1)上进行嵌套切换。任何阅读您的代码的人都会喜欢一个提示，因为大多数人会只使用if-else-if