C++のクラスの可変引数化を禁止する方法。

質問

C++のクラスの可変引数化を禁止する方法。
クラスのインスタンスをprintfの引数にするのをコンパイル・エラーにする方法はないでしょうか？
コピーコンストラクタや代入のオーバーロードをprivateにしてもエラーが出ないので方法を探しています。

#include "stdafx.h"

class CTest {
private:
int intdata;
public:
CTest() : intdata(0) { };
private:
void operator =(const CTest& src) {}
CTest(const CTest& src) {}
};

int _tmain(int argc, _TCHAR* argv[])
{
CTest ctest;

printf( "%s %p\n", ctest, ctest );

return 0;
}

回答No.3

jacta · ベストアンサー

こんな風にすれば、ある程度までエラーを検出できそうです。

#include <cstdio>

inline int printf_arg(int arg) { return arg; }
inline long printf_arg(long arg) { return arg; }
inline double printf_arg(double arg) { return arg; }
inline long double printf_arg(long double arg) { return arg; }
inline const volatile void* printf_arg(const volatile void* arg) { return arg; }

template <typename T>
inline int printf(const char* format, const T& arg0)
{
return std::printf(format, printf_arg(arg0));
}

template <typename T1, typename T2>
inline int printf(const char* format, const T1& arg0, const T2& arg1)
{
return std::printf(format, printf_arg(arg0), printf_arg(arg1));
}

// 以後、引数の数が異なるバージョンを必要なだけ定義

ただ、ローカルクラスだとすり抜けてしまうとか、問題も残っています。
確実にエラーを検出するには、何らかの名前空間内で定義して、明示的にその名前空間を指定するか、printfという名前をマクロですり替えるしかないのかもしれません。

お礼

コードをありがとうございます。
この方向でエラーを実装できるか試してみます。

補足

遅くなりました。
エラーが検知できそうです。ありがとうございました。

回答No.2

Tacosan

現在の C++ の規格に従う限り「undefined behavior だからどうしようもない」としかいいようがない....

お礼

そうですよね。
ありがとうございます。

回答No.1

kmee

printfはC言語由来のものだから、明示的にキャストしない限り、C++的な変換は行なってないと思うのですが。

また、GCCだとフォーマット文字列と引数の型に不一致があるとコンパイル時の警告はでますが、VCだとそれもんかったような。

補足

ありがとうございます。
実際のところ、MFCのCString::Formatでも同様の問題が出ているので困っています。
サンプルということでprintfで書かせていただきました。
何らかの演算子のオーバーロードをprivateにする事でガード出来ないものでしょうか？
私自身もすごく無理かも知れないなとは思っているですが。