Question

我定义了一个带有模板的类，该模板定义了通用数组类型T个元素数N.我有另一个类，它有一个这个数组的实例作为成员。当我尝试使用setString函数时，我传递的数组从15个元素到4个元素，任意。

// testClassArraySize.cpp : Defines the entry point for the console application.
//

#include "stdafx.h"
#include <stdio.h>
#include <iostream>
#include <istream>
#include <ostream>
using namespace std;

template<class T, int N>
class CArray {
public:
    T arr[N];
    CArray(void) {/*arr=(T *)malloc(sizeof(T)*N);*/
        if (arr == NULL) {
            cout << "allocation error\n";
        }
    }
    ;
    //CArray (int n) {arr=new T [n]; if(arr==NULL){exit(0); cout<<"allocation error\n";}};
    CArray operator=(const T *);
    T operator[](const int i) {
        return arr[i];
    }
    ;
};

template<class T, int N>
CArray<T, N> CArray<T, N>::operator=(const T *srce) {
    size_t x = sizeof(arr);
    size_t y = sizeof(srce);
    for (int j = 0; j < sizeof(arr); j++) {
        if (j > sizeof(srce)) {
            arr[j] = 0;
            break;
        }
        arr[j] = srce[j];
    }
    return *this;
}

class myTestClass {
private:
    CArray<char, 15> myString;
public:
    myTestClass setString(char set[15]) {
        myString = set;
        size_t x = sizeof(set);
        return *this;
    }
    ;
};

int main() {
    myTestClass myObject;
    myObject.setString("helloWorld");
    return 0;
}

有谁知道为什么？

Answer 1

这有几个问题，但你可能会看到的是行

CArray<T, N> CArray<T, N>::operator= (const T *srce)

注意：const T* source是一个指针，因此sizeof(srce)是指针的大小。我想你是在使用32位系统吗？

sizeof为您提供对象的大小（即＆＃34;存储区域＆＃34;）。对于数组，这是整个数组的大小（以字节为单位）。 sizeof( int[10] ) == sizeof(int) * 10。指针本身就是一个对象，其大小取决于C ++实现（OS，编译器等）。在32位系统上，它通常是4个字节。 sizeof( char* )因此是4字节，而不是传递给函数的数组的长度，sizeof( (char*)(char[10]) )仍然是4字节，而不是10。

您可能会看到的另一个问题（但仅通过调试/跟踪）是setString(char set[15])已解析为setString(char* set)。因此，x = sizeof(set)会解析为x = sizeof(char*)，通常为4。

你通过＆＃34; helloWorld＆＃34;到setString，期待 ~~15项char数组~~ char*;我会说这不是一个好主意，因为＆＃34; helloWorld＆＃34;类型为char const[10]（请注意const）。采用15-char数组的正确语法是char (&set)[15]。

如果添加模板成员函数，则可以更优雅地执行此操作：

// in class CArray
template < std::size_t length >
CArray& operator= (const T (&srce)[length]);    // note I return a reference, so no copying

这样，您将获取数组大小作为模板参数。注意：由于我在赋值操作中使用了const T，因此您还需要在setString中强制执行const。

template < class T, int N >
template < std::size_t srce_length >
CArray < T, N >& CArray < T, N > :: operator= (const T (&srce)[srce_length])
{
    for (int j = 0; j < N; j++) {    // N is the own length
        if (j >= srce_length) {    // note the >= instead of >, and srce_length instead of sizeof
            arr[j] = 0;
            break;
        }
        arr[j] = srce[j];
    }
    return *this;
}

在C ++中作为参数传递给类时的内存丢失

1 个答案: