从枚举器获取枚举类型[重复]

Question

假设我有这样的代码：

#include <cstdio>

enum Foo { Foo_A, Foo_B };
enum Bar { Bar_A, Bar_B };

template<typename enumeration, int enumerator>
struct tpl;

template<int enumerator>
struct tpl<Foo, enumerator>
{
    tpl() { printf("Foo: %d\n", enumerator); }
};

template<int enumerator>
struct tpl<Bar, enumerator>
{
    tpl() { printf("Bar: %d\n", enumerator); }
};

int main()
{
    tpl<Foo, Foo_A> foo_a;
    tpl<Foo, Foo_B> foo_b;
    tpl<Bar, Bar_A> bar_a;
    tpl<Bar, Bar_B> bar_b;
    return 0;
};

有没有办法减少使用现场的“重复”？ IE。我不能从枚举器“Foo_A”等中推断出枚举类型“Foo”并以某种方式在上面的模板代码中使用它吗？枚举类在这里有帮助吗？

Answer 1

您的问题的答案是，否目前没有办法做到这一点。你所面临的被称为template <typename T, T t> 成语。事实上，如果你用谷歌搜索，你会发现将近 75,000 次点击，而且没有解决方法。你必须像你一样专精。

---

但好消息即将到来。在过去十年中，这已多次向标准委员会提出：

• N3405 提议允许template <typename T t> 其中T 是类型，t 是值，只有一个值作为模板参数传递
• N3601 建议 template <typename T, T t> 是一种特殊情况，编译器将只接受一个值作为模板参数，并从中推断出 T 和 t
• N4469 提议允许关键字auto 指定一个元参数：template <auto t> 这样一个值可以作为模板参数t 传递，并且它的类型被推导出来

在 5 月 4 日的 Lenexa 会议上，N4469 终于在标准委员会会议上获得了鼓励和修改请求：http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4539.html#9

第一次修订，P0127R0，于 2015 年 9 月 25 日提交。

2016 年 3 月 4 日提交了后续修订：P0127R1 提议对概念工作草案部分进行编辑。

P0127R2 专注于在工作草案的非概念部分中完全指定习语更改，因为尚不清楚概念是否将包含在 C++17 中。此修订版于 2016 年 6 月 23 日被 C++17 标准接受：http://developerblog.redhat.com/2016/07/13/red-hat-iso-c-standards-meeting-june-2016-core-language/

因此随着 C++17 的到来，您将能够处理 template <typename T, T t> 成语并使用：

template <auto t>
struct tpl{
    tpl(){ cout << typeid(decltype(t)).name() << ": " << t << endl; }
};