C++：模板 class 二元运算符重载 - 段错误？

Question

下面描述了我的例子：

header:

const size_t N = 10;
//    template<size_t N>
class SymbolicMonomial {
public:
    int powers[N];
    int constant;

    SymbolicMonomial() {
        for (int i = 0; i < N; i++) {
            this->powers[i] = 0;
        }
        this->constant = 1;
    }

    SymbolicMonomial(int variable): SymbolicMonomial(){
        this->powers[variable] = 1;
    }

    static SymbolicMonomial as_monomial(int value){
        auto result = SymbolicMonomial();
        result.constant = value;
        return result;
    }

    bool is_constant(){
        for(int i=0;i<N;i++){
            if(this->powers[i] > 0){
                return false;
            }
        }
        return true;
    }
};

//    template<size_t N>
std::ostream &operator<<(std::ostream &out, const SymbolicMonomial value){
    out << value.constant << "(";
    for(int i=0;i<N-1;i++){
        out << value.powers[i] << ", ";
    }
    out << value.powers[N-1] << ")";
}

//    template<size_t N>
SymbolicMonomial operator*(SymbolicMonomial lhs, SymbolicMonomial rhs) {
    SymbolicMonomial result = SymbolicMonomial();
    for (int i = 0; i < N; i++) {
        result.powers[i] = lhs.powers[i] + rhs.powers[i];
    }
    result.constant = lhs.constant * rhs.constant;
    return result;
}

main.cpp:

int main(int argc, char *argv[])
{
auto t_a = symbolic::SymbolicMonomial(2);
auto t_b = symbolic::SymbolicMonomial(1);
auto t_c = t_b*t_a*t_a;
std::cout << t_c << std::endl;
return 0;
}

一切都很好。但是，我想将整个事情更改为具有模板参数 <N> 而不是常量。因此这是模板化代码： header.h:

template<const size_t N>
class SymbolicMonomial {
public:
    int powers[N];
    int constant;

    SymbolicMonomial() {
        for (int i = 0; i < N; i++) {
            this->powers[i] = 0;
        }
        this->constant = 1;
    }

    SymbolicMonomial(int variable): SymbolicMonomial(){
        this->powers[variable] = 1;
    }

    static SymbolicMonomial as_monomial(int value){
        auto result = SymbolicMonomial<N>();
        result.constant = value;
        return result;
    }

    bool is_constant(){
        for(int i=0;i<N;i++){
            if(this->powers[i] > 0){
                return false;
            }
        }
        return true;
    }
};

template<const size_t N>
std::ostream &operator<<(std::ostream &out, const SymbolicMonomial<N> value){
    out << value.constant << "(";
    for(int i=0;i<N-1;i++){
        out << value.powers[i] << ", ";
    }
    out << value.powers[N-1] << ")";
}

template<const size_t N>
SymbolicMonomial<N> operator*(SymbolicMonomial<N> lhs, SymbolicMonomial<N> rhs) {
    SymbolicMonomial<N> result = SymbolicMonomial<N>();
    for (int i = 0; i < N; i++) {
        result.powers[i] = lhs.powers[i] + rhs.powers[i];
    }
    result.constant = lhs.constant * rhs.constant;
    return result;
}

和main.cpp：

int main(int argc, char *argv[])
{
auto t_a = symbolic::SymbolicMonomial<10>(2);
auto t_b = symbolic::SymbolicMonomial<10>(1);
auto t_c = t_b*t_a*t_a;
std::cout << t_c << std::endl;
return 0;
}

现在非模板版本按预期工作，但是模板版本失败，代码为 139 (SEGFAULT)。首先，如果有人可以解释，我不明白为什么代码会失败，其次如何解决？

Answer 1

std::ostream &operator<<(std::ostream &out, const SymbolicMonomial<N> value) 不是 return 值。对我来说，在 Visual Studio 中，这会导致编译错误。在函数末尾添加 return out; 会导致代码在没有 ACCESS_VIOLATION 的情况下工作（Windows 段错误）。

你所有的边界检查看起来都是正确的，所以，如果我不得不猜测，我会说你的编译器忽略了缺失的 return，而你正在输入一个令人毛骨悚然的 space 当您使用从未实际设置的 return 值时，称为 未定义行为。

假设您使用的是 GCC，您可以设置 -Werror=return-type 在您犯这些错误时抛出编译错误。

C++：模板 class 二元运算符重载 - 段错误？

C++: Template class binary operator overloading - seg fault?

c++

templates

operator-overloading

segmentation-fault