以下包扩展有什么问题？

Question

constexpr int ipow(int x, int n) {
    return (n > 0) ? x * ipow(x, n - 1): 1;
}
template <char c>
constexpr int b3_helper() {
    static_assert(c < '3', "not a ternary digit");
    return c - '0';
}
template <char c, char... chars>
constexpr int b3_helper() {
    static_assert(c < '3', "not a ternary digit");
    return ipow(3, sizeof...(chars)) * (c - '0') + b3_helper<chars...>();
}
template <char... chars>
constexpr int operator"" _b3() {
return b3_helper<chars...>();
}
int main(){
    int i = 201_b3;
    return 0;
}

编译器说

call to 'b3_helper' is ambiguous" at line 12;

我该如何解决？我在学习C++编程语言4th的时候发现了这个问题。在第 560 页

Answer 1

歧义是因为像 b3_helper<'1'> 这样的调用有两个同样好的匹配 - 第一个函数模板可以与 char c = '1' 匹配，第二个可以与 char c = '1' 匹配... 是空参数包。要解决此问题，您可以更改函数的 "induction" 重载以需要两个或更多 char，如下所示：

template <char c, char d, char... chars>
constexpr int b3_helper() {
    static_assert(c < '3', "not a ternary digit");
    return ipow(3, 1 + sizeof...(chars)) * (c - '0') + b3_helper<d, chars...>();
}

以下包扩展有什么问题？

what's wrong with following pack expansion?

c++

user-defined-literals

variadic-templates

c++11