Question

考虑以下实现编译时计数器的代码。

#include <iostream>

template<int>
struct Flag { friend constexpr int flag(Flag); };

template<int N>
struct Writer
{
    friend constexpr int flag(Flag<N>) { return 0; }
};

template<int N>
constexpr int reader(float, Flag<N>) { return N; }

template<int N, int = flag(Flag<N>{})>
constexpr int reader(int, Flag<N>, int value = reader(0, Flag<N + 1>{}))
{
    return value;
}

template<int N = reader(0, Flag<0>{}), int = sizeof(Writer<N>) >
constexpr int next() { return N; }


int main() {
    constexpr int a = next();
    constexpr int b = next();
    constexpr int c = next();
    constexpr int d = next();
    std::cout << a << b << c << d << '\n'; // 0123
}

对于第二个reader重载，如果我将默认参数放在函数体内，如下所示：

template<int N, int = flag(Flag<N>{})>
constexpr int reader(int, Flag<N>)
{
    return reader(0, Flag<N + 1>{});
}

然后输出将变为：

为什么会这样？是什么让第二个版本不再起作用了？

如果重要，我使用的是Visual Studio 2015.2。

Answer 1

没有value作为参数传递，没有什么能阻止编译器从缓存调用reader(0, Flag<1>)。

在这两种情况下，首次next()调用都会按预期工作，因为它会立即导致SFINAEing为reader(float, Flag<0>)。

第二个next()将评估reader<0,0>(int, ...)，如果reader<1>(float, ...)不依赖于value参数，则会constexpr依赖于constexpr int next_c() { return next(); }。

不幸的是（而且具有讽刺意味的是）我发现的确认可以缓存next()次调用的最佳来源是@MSalters评论to this question。

要检查您的特定编译器是否缓存/ memoizes，请考虑调用

而不是next()。在我的情况下（VS2017），输出变为next_c()。

reader<1>(float, ...)受到缓存的保护，因为它的默认模板参数实际上随每个实例化而变化，因此它每次都是一个新的独立函数。 constexpr根本不是模板，因此可以缓存，- (void)application:(UIApplication *)application didReceiveRemoteNotification:(NSDictionary *)userInfo fetchCompletionHandler:(void (^)(UIBackgroundFetchResult result))completionHandler;也是如此。

我确实认为这不是一个错误，编译器可以合理地期望编译时上下文中的for x in range(0, len(urls), JUMP): rs = (grequests.get(u, stream=False, headers = headers, timeout = 300) for u in urls[x:x+JUMP]) responses += grequests.map(rs,exception_handler=nones_exception_handler) # saves the failed requests so i can try those again later def nones_exception_handler(request, exception): nonlocal exceptionurls print(exception) exceptionurls.append(request.url)是纯函数。

相反，正如其他人所指出的那样，这段代码应被视为格式错误 - 很快就会出现。

Answer 2

value的相关性是它参与重载决策。在SFINAE规则下，模板实例化错误静默将候选者排除在重载决策之外。但它会实例化Flag<N+1>，这会导致重载决策在下次（！）时变得可行。所以实际上你是在计算成功的实例。

为什么您的版本表现不同？您仍然引用Flag<N+1>，但在函数的实现中。这个很重要。对于功能模板，必须考虑SFINAE的声明，但只会实例化所选的重载。您的声明仅为template<int N, int = flag(Flag<N>{})> constexpr int reader(int, Flag<N>);，并且不取决于Flag<N+1>。

如评论中所述，不要指望这个柜台;）

为什么删除默认参数会破坏这个constexpr计数器？

2 个答案: