【C++】未解決の外部シンボルというエラーを解決したい

Question

前提・実現したいこと

C++でコンソールで動く迷路ゲームを作成しています。とりあえず迷路生成と描画する関数はできたので動かしてみたのですが以下のエラーが発生しました。後述する方法でとりあえずエラーをなくすことはできたのですが、なぜこのエラーが発生するのかその原因を知りたいです。

発生している問題・エラーメッセージ

1>maze.cpp
1>maze.obj : error LNK2019: 未解決の外部シンボル "void __cdecl drawMaze(class std::vector<class std::vector<enum Object,class std::allocator<enum Object> >,class std::allocator<class std::vector<enum Object,class std::allocator<enum Object> > > > &)" (?drawMaze@@YAXAEAV?$vector@V?$vector@W4Object@@V?$allocator@W4Object@@@std@@@std@@V?$allocator@V?$vector@W4Object@@V?$allocator@W4Object@@@std@@@std@@@2@@std@@@Z) が関数 main で参照されました。
1>  定義済みの一致する可能性があるシンボルに関するヒント:
1>    "void __cdecl drawMaze(class std::vector<class std::vector<enum Object,class std::allocator<enum Object> >,class std::allocator<class std::vector<enum Object,class std::allocator<enum Object> > > > const &)" (?drawMaze@@YAXAEBV?$vector@V?$vector@W4Object@@V?$allocator@W4Object@@@std@@@std@@V?$allocator@V?$vector@W4Object@@V?$allocator@W4Object@@@std@@@std@@@2@@std@@@Z)
1>C:\Users\USER\Documents\Visual Studio 2019\Projects\maze\x64\Debug\maze.exe : fatal error LNK1120: 1 件の未解決の外部参照
1>プロジェクト "maze.vcxproj" のビルドが終了しました -- 失敗。

該当のソースコード

#include<iostream>
#include <random>

using namespace std;

//定数宣言
//ステージの縦横は(棒倒し法の場合は)奇数である必要がある
const int gStageWidth = 21;
const int gStageHeight = 21;

//迷路の状態
enum Object {
	OBJ_SPACE,	//通路(空白で表現)
	OBJ_WALL,	//#
	OBJ_START,	//S
	OBJ_GOAL,		//G
	OBJ_PLAYER,	//P
	OBJ_PLAYER_ON_START,	//P
	OBJ_PLATER_ON_GOAL,	//P
};

//関数プロトタイプ宣言群
void genMaze(vector<vector<Object>>&);
bool toWALL(vector<vector<Object>>&, int, int);
void drawMaze(vector<vector<Object>>&);

int main() {
	vector<vector<Object>> state(gStageWidth, vector<Object>(gStageHeight));
	genMaze(state);
	drawMaze(state);
}

//迷路生成アルゴリズム(棒倒し法)
void genMaze(vector<vector<Object>> &state) {
	//全てを通路にする
	for (int x = 0; x < gStageWidth; x++) {
		for (int y = 0; y < gStageHeight; y++) {
			state[x][y] = OBJ_SPACE;
		}
	}
	//上下の外壁の生成
	for (int x = 0; x < gStageWidth; x++) { //フィールドの横幅の分だけループする。
		state[x][0] = OBJ_WALL;
		state[x][gStageHeight - 1] = OBJ_WALL;
	}

	//左右の外壁の生成
	for (int y = 0; y < gStageHeight; y++) {
		state[0][y] = OBJ_WALL;
		state[gStageWidth - 1][y] = OBJ_WALL;
	}

	//内壁の生成
	for (int i = 1; i < gStageWidth / 2; i++) {
		for (int j = 1; j < gStageHeight / 2; j++) {
			state[2 * i][2 * j] = OBJ_WALL;
		}
	}

	//棒倒し法
	for (int i = 1; i < gStageWidth / 2; i++) {
		for (int j = 1; j < gStageHeight / 2; j++) {
			while (true) {
				//倒した先がSPACEでない限りループを回す. SPACEならWALLにする
				if(toWALL(state, i, j)){
					break;
				}
			}
		}
	}
}


//ランダムで倒す方向を決定し、その方向がSPACEならWALLにする
bool toWALL(vector<vector<Object>>&state, int x, int y) {
	random_device rnd;
	mt19937_64 mt(rnd());
	uniform_int_distribution<> rand_gen(1, 12);        // 0からステージの大きさの範囲の一様乱数
	int down_direction = rand_gen(mt) % 4;	//倒す方向をランダムで決定（0: up, 1: down, 2: right, 3: left）
	if (down_direction == 0) {
		if (state[2 * x][2 * y - 1] == OBJ_SPACE) {
			state[2 * x][2 * y - 1] = OBJ_WALL;
			return true;
		}
	}
	else if (down_direction == 1) {
		if (state[2 * x][2 * y + 1] == OBJ_SPACE) {
			state[2 * x][2 * y + 1] = OBJ_WALL;
			return true;
		}
	}
	else if (down_direction == 2) {
		if (state[2 * x + 1][2 * y] == OBJ_SPACE) {
			state[2 * x + 1][2 * y] = OBJ_WALL;
			return true;
		}
	}
	else if (down_direction == 3) {
		if (state[2 * x - 1][2 * y] == OBJ_SPACE) {
			state[2 * x - 1][2 * y] = OBJ_WALL;
			return true;
		}
	}
	return false;
}

//迷路描画
void drawMaze(const vector<vector<Object>>&state) {
	const char font[] = { ' ', '#', 'S', 'G', 'P', 'P', 'P' };
	for (int i = 0; i < gStageWidth; i++) {
		for (int j = 0; j < gStageHeight; j++) {
			Object o = state[i][j];
			cout << font[o];
		}
		cout << endl;
	}
}

###試したこと
drawMaze関数のconstを外すと正常に描画されました。constは変数を変更できないようにするものだと認識しているのですが、なぜこれはだめなんでしょう？

環境

• Visual Studio 2019 Enterprise

Answer 1

仮引数に const が付いているかどうかで別の関数になるからです。 drawMaze のプロトタイプ宣言では仮引数に const が付いておらず、呼び出すときも const なしの関数があると思って呼び出します。 しかし、実際に存在する drawMaze の仮引数は const 付きですので、呼び出したい drawMaze が存在しない (未解決のシンボル) というエラーになります。

これの仮引数が参照ではなく実体であるならば const の有無は区別されません。 関数の内部だけの都合であって呼び出す側からは区別する意味がないからです。

// これは通る
int foo(int x);

int main(void) {
  foo(1);
  return 0;
}

int foo(const int x) {
  return x;
}

// これはエラーになる
int foo(int& x);

int main(void) {
  int x = 1;
  foo(x);
  return 0;
}

int foo(const int& x) {
  return x;
}

Comments

[ky_2]

理解できました。分かりやすいご回答を頂きありがとうございました。
おかげさまで無事実行できました。