std::copyを使用するとコンパイルエラーになる

Question

std::copyを使用するとコンパイルエラーになります。
何が原因なのか教えてください。
(書籍「ロベールのC++入門講座」p302のコードです)

コンパイラ： Visual studio community 2015
OS： Windows7 64 bit

エラーメッセージ
C4996 'std::_Copy_impl': Function call with parameters that may be unsafe - this call relies on the caller to check that the passed values are correct. To disable this warning, use -D_SCL_SECURE_NO_WARNINGS. See documentation on how to use Visual C++ 'Checked Iterators'

// CIntArray.h
#ifndef C_INT_ARRAY_H
#define C_INT_ARRAY_H

class CIntArray {
private:
	int* array;
	int arraySize;

public:
	CIntArray(int arraySize);
	CIntArray(const CIntArray& intArray);
	~CIntArray();

	int Get(int index);
	void Set(int index, int data);
	int Size();

private:
	void CheckIndex(int index);
};

#endif

// CIntArray.cpp
#include "CIntArray.h"
#include <iostream>
#include <cstdlib>
#include <algorithm>

CIntArray::CIntArray(int arraySize) {
	array = new int[arraySize];
	this->arraySize = arraySize;
	std::cout << "constructor: " << arraySize << std::endl;
}

CIntArray::CIntArray(const CIntArray& intArray) {
	array = new int[intArray.arraySize];
	arraySize = intArray.arraySize;
	std::copy(intArray.array, intArray.array + intArray.arraySize, array);
	std::cout << "copy constructor" << std::endl;
}

CIntArray::~CIntArray() {
	std::cout << "destructor: " << arraySize << std::endl;
	delete[] array;
}

int CIntArray::Get(int index) {
	CheckIndex(index);
	return array[index];
}

void CIntArray::Set(int index, int data) {
	CheckIndex(index);
	array[index] = data;
}

int CIntArray::Size() {
	return this->arraySize;
}

void CIntArray::CheckIndex(int index) {
	if (0 <= index && index < arraySize) {
		// no process
	} else {
		std::cout << "インデックスが不正：" << index << std::endl;
		exit(EXIT_FAILURE);
	}
}

// main.cpp
#include "CIntArray.h"
#include <iostream>

void Show(CIntArray array) {
	for (int i = 0; i < array.Size(); i++) {
		std::cout << array.Get(i) << std::endl;
	}
} 

int main() {
	CIntArray array0to9(10);

	for (int i = 0; i < array0to9.Size(); i++) {
		array0to9.Set(i, i);
	}

	Show(array0to9);
}

Answer 1

マイクロソフトは、メモリコピーなどでセキュリティ的に安全でない（バッファオーバーランなどを引き起こしやすい）使い方を、あえてできないようにしています。ご質問の件ではstd::copyにポインタを渡しているのが却下された理由です。STLコンテナのイテレーターなら問題ありません。

対処方法はChironianが書かれている通りです。

---

補足
エラーになるのはDebugビルドの時だけみたいですね。Releaseビルドではエラーにならずに通ってしまいました。

Comments

[Chironian]

> std::copyにポインタを渡しているのが却下された理由です。STLコンテナのイテレーターなら問題ありません。

なるほど！！
しかし、何故に手元のmsvc 2015で警告されないのか？
気になるので調べてみたら/Wオプションを指定しないと出ないようです。知らなかった。orz

[catsforepaw]

> /Wオプションを指定しないと出ないようです。
もしかしてコマンドラインでコンパイルしてます？
私も知らなかった……。

[Chironian]

小さなお試しソースをビルドする時はコマンドラインが多いのですよ。プロジェクト作るの面倒ですし。

[JADEN]

回答ありがとうございました。

Answer 2

こんにちは。

手元のVisual Studio Community 2013 update 5とVisual Studio Community 2015 update 1でコンパイルしてみましたが、警告もエラーもでませんでした。コマンドラインでコンパイルし/EHscオプション（例外関連の警告対策）しか付けてません。（無関係と思いますが、CIntArray.cppとmain.cppをまとめてます。）

JADENさんと同じ警告を報告している人がたくさんいますが、上の方から２～３見る限りVisual Studioのバージョンは古いようです。

C4996はメモリの不正アクセスするリスクがある時に出るもののようですが、普通に標準ライブラリを使っても出る警告なのでディセーブルすることも多いです。メッセージにあるように-D_SCL_SECURE_NO_WARNINGSオプションをつける、もしくは、#pragma warning(disable:4996)をソースの頭の方に書くことでこの警告を消すことができます。

JADENさんのmsvcで出て私のmsvcで出ないのはちょっと気になりますが．．．

Comments

[JADEN]

回答ありがとうございました。