为什么使用本地结构作为 STL 函数参数的代码不能在 g++ 中编译？

Question

我有这样的代码，效果很好：

#include <algorithm>
#include <iostream>

char x[11]= "ABCDEFGHIJ";
char y[11];

struct F {
    char operator () (char c) const 
    { return c+1; }
};

int main()
{
    std::transform(x, x+10, y, F());
    y[10] = 0; std::cout <<y <<std::endl;
}

但是如果我将其更改为这种样式：

#include <algorithm>
#include <iostream>

char x[11]= "ABCDEFGHIJ";
char y[11];

int main()
{
    struct F {
        char operator () (char c) const 
        { return c+1; }
    };
    std::transform(x, x+10, y, F());
    y[10] = 0; std::cout <<y <<std::endl;
}

它将无法编译，并说：

错误：没有匹配的函数可用于调用“transform(char [11], char*, char [11], main()::F)”

出了什么问题？

gcc 版本是 4.4，它不识别 lambda 表达式。

Answer 1

在 C++-98/03 中，第二个代码无效，因为 F 是局部类型；事实上，第 14.3.1.2 节指出

本地类型、没有链接的类型、未命名类型或由任何这些类型复合的类型不得用作模板类型参数的模板参数。

[示例：

template <class T> class X { /* ... */ };
void f()
{
    struct S { /* ... */ };
    X<S> x3;         // error: local type used as template-argument
    X<S*> x4;        // error: pointer to local type used as template-argument
}

——示例结束] [注意：模板类型参数可能是不完整类型（3.9）。 ]

在 C++-0x 中，此限制被删除；在同一部分中，新标准草案（N3126）在示例中明确表明了这一点：

[示例：

template <class T> class X { };
template <class T> void f(T t) { }
struct { } unnamed_obj;

void f() {
    struct A { };
    enum { e1 };
    typedef struct { } B;
    B b;
    X<A> x1;             // OK
    X<A*> x2;            // OK
    X<B> x3;             // OK
    f(e1);               // OK
    f(unnamed_obj);      // OK
    f(b);                // OK
}

—结束示例] [注意：模板类型参数可能是不完整类型（3.9）。 ——尾注]

Answer 2

g++ 4.5.1 编译代码（使用 -std=c++0x 选项） 。

您的第二个代码示例在 C++03¹ 中格式不正确，但在 C++0x

std::transform

template < class InputIterator, class OutputIterator, class UnaryOperator >
  OutputIterator transform ( InputIterator first1, InputIterator last1,
                             OutputIterator result, UnaryOperator op );

中有效，但是 g++ 4.4 不支持本地类型作为模板参数（即使使用 -std=c++0x option] 所以你会得到一个错误

_{1 ：本地类型、没有链接的类型、未命名类型或由任何这些类型组合而成的类型不得用作模板类型的模板参数 -参数（ISO C++03 §14.3.1.2）}