読者です 読者をやめる 読者になる 読者になる

meryngii.neta

今日も新たな"ネタ"を求めて。

ストリームとコンセプト

C++ C++0x

ストリームとコンセプトを組み合わせてみた。

#include <iostream>
#include <concepts>

auto concept HasShowing<typename T>
{
	requires std::HasLeftShift<std::ostream&, T>;
}

template <HasShowing T>
void show(T x)
{
	std::cout << x;
}

int main()
{
	show('A');
	show("abc");
	//show(123); // ambiguous
	//show(3.14); // ambiguous
	//show(main); // no match
}

intとdoubleが曖昧になる理由はよく分からない。showの中身をlate_checkで囲ってやれば、とりあえずコンパイルは通る。
現在のドラフトでは、ストリーム系のクラスにコンセプトがあまり使われていない。後々の対応に期待したい。