在类中定义朋友用户定义的文字运算符

Question

为什么要在 give error 类中定义用户定义的文字？

class test
{
    long double x;
    public:    
    friend test operator""_UNIT(long double v)
    {
        test t;
        t.x = v;
        return t;
    }       
};

int main()
{
    test T = 10.0_UNIT;        
    return 0;
}

错误：

unable to find numeric literal operator 'operator""_UNIT'

注意：可以在类中定义any friend function。

class test
{
    int x;
    public:
    test():x(10) {}
    friend std::ostream& operator<< (std::ostream& o, test t)
    {
        o << t.x ;
        return o;
    }
};

int main() {
    test T;
    std::cout << T;
    return 0;
}

同一个朋友用户定义的文字可以定义为outside the class。

class test
{
    long double x;
    public:    
    friend test operator""_UNIT(long double v);
};

test operator""_UNIT(long double v)
{
    test t;
    t.x = v;
    return t;
}

int main()
{
    test T = 10.0_UNIT;        
    return 0;
}

标准中的这句话有影响吗？

类中定义的友元函数在 定义它的类。在外部定义的友元函数 类不是

Answer 1

您遇到的问题是，来自 [namespace.memdef]：

朋友声明不被 本身使名称对非限定查找 (3.4.1) 或限定查找 (3.4.3) 可见。

找到它们的方法是通过参数依赖查找，[basic.lookup.argdep]：

在考虑关联的命名空间时，查找与执行的查找相同 关联命名空间用作限定符（3.4.3.2），除了： [...] 关联类中声明的任何命名空间范围的友元函数或友元函数模板都是 在它们各自的命名空间中可见，即使它们在普通查找期间不可见 (11.3)。

std::ostream& operator<< (std::ostream& o, test t) 是由于对第二个参数的依赖于参数的查找而找到的。

当您在类中定义_UNIT 外部 时，它使函数可见。

但是，当您定义 _UNIT 内联时 - 它对正常查找不可见，并且唯一的参数 (double) 没有任何关联的命名空间，因此也无法通过依赖于参数的查找找到它。