最近一直在找以后有限状态自动机的模板类，看到这个我有点迷了。

[jiang1234321]

https://blog.csdn.net/limaous/article/details/1671740 链接如上，其他的都还 ok，唯独这个 http://ww1.sinaimg.cn/large/ea3ade00gy1fudnrj5djwj20pg0f00tk.jpg 这个地方看不懂，这个函数是咋调用的？

[MeteorCat]

先了解基础 C ＋＋模板再来看

[jiang1234321]

@MeteorCat 模板倒是知道，可是模板不都是类型吗？

[zxiso]

看起来这个模板是个 class 并且重载了()

[jiang1234321]

@zxiso 咦。。。这个思路可以啊，但是那每次写一个状态转换函数岂不是都要写个 class ？

[make]

@jiang1234321 函数对象

[make]

@jiang1234321 bind lambda 了解一下

[MeteorCat]

@jiang1234321 很多自定义标准容器的查找方法都是这样定义，用一个 struct 也能定义

[zxiso]

@jiang1234321 像楼上说的，自定义的话你可以用 class 或者 struct 然后搞重载，如果只是函数的话，可以用 std::function

[yanaraika]

CSDN 的代码还是算了吧，建议用 https://github.com/boost-experimental/sml

[gnaggnoyil]

这说明`enter_state_op_t`和`exit_state_op_t`满足 Callable 的 constraits...
另外 8102 年了怎么还有人用非等宽字体显示代码的,看的不眼疼吗……

[jiang1234321]

@yanaraika 这个是 boost 的官方库吗？

[gnaggnoyil]

@jiang1234321 严格来说模板 arguments 不仅可以是类型而且也可以是 integral 的 core constant expression,不过和这个问题里的内容没有关系就是了.
P0424R2 考虑允许让所有 literal type 的 core constant expression(典型的,字符串字面量)都能成为模板的 argument,不过我很怀疑这个提案能不能赶上 C++20 的车……

[jiang1234321]

@zxiso 这样的话参数就不好传了吧

[yanaraika]

@jiang1234321 还没进官方。不过距提出已经两年了，这个库可以独立使用。