c++ - 静态变量和模板特化歧义

Question

FQA提出这个代码示例:

#include <cstdio>
template<int n> struct confusing
{
    static int q;
};
template<> struct confusing<1>
{
    template<int n>
    struct q
    {
        q(int x)
        {
            printf("Separated syntax and semantics.\n");
        }
        operator int () { return 0; }
    };
};
char x;
int main()
{
    int x = confusing< SOME_NUMBER_HERE >::q < 3 > (2);
    return 0;
}

q 是指 static int q 或 q(int x) 取决于 SOME_NUMBER_HERE 的值.考虑到 q 可以简单地命名为其他名称，这似乎是一个相当人为的示例。 gcc 甚至有一个警告:

warning: comparisons like 'X<=Y<=Z' do not have their mathematical meaning [-Wparentheses]

     int x = confusing<2>::q < 3 > (2);

有没有实际场景会出现这种事情的问题？

Answer 1

我还没有看到，当然，这并不能证明有真实世界的例子。

我记得 Andrei Alexandrescu 曾就 static_if ( slides ) 发表过演讲。我认为他还解决了模板劫持问题，这与您的示例类似。

好吧，如果有人能想出一个真实的例子，我很确定 Andrei Alexandrescu 就是那个人。 :-)