構造体has_iterator_implをhas_iterator以外で使用不可にしたい

以下のコードにおいて、has_iteratorはその型がメンバにイテレータを持っているか調べる構造体です。
has_iteratorはhas_iterator_implを継承していますが、実際に外で使われるものはhas_iteratorのみでimplが使われることは想定しておりません。
ユーザーが不用意にimplを使用してしまわないように外からはアクセスができないようにしてしまいたいのですが、何か良い方法はありますか。

Cpp
1// has_iterator.hpp------------------------------
2#pragma once
3#include <type_traits>
4
5// 外から丸見えなのをどうにかしたい
6struct has_iterator_impl {
7	template <class T>
8	static std::true_type check(typename T::iterator*);
9
10	template <class T>
11	static std::false_type check(...);
12};
13
14// 実際に使われる方
15template <class T>
16struct has_iterator : public decltype(has_iterator_impl::check<T>(nullptr)) {};
17

Cpp
1// main.cpp--------------------------------------
2#include <iostream>
3#include <vector>
4#include "has_iterator.hpp"
5
6int main() {
7	using ivector = std::vector<int>;
8	static_assert(has_iterator<ivector>::value, "vector has iterator");
9	static_assert(has_iterator<int>::value, "int has not iterator");
10
11	return 0;
12}

行動規範の内容に同意します

回答1件

ベストアンサー

こんにちは。

習慣に従って detail 等の名前空間にいれて、「ここは使わないでね」マークをつけるのが現実的と思います。こんな感じです。

privateな名前空間があると嬉しいですよね。昔、それっぽいものを作ったことはあるのですが、残念ながら実用にはならないと判断しています。使える場面もあるかもしれませんので、よかったら参考にしてみて下さい。苦労した挙げ句、結局「使えない」という落ちになる可能性も高いので、あまり期待しないで見て下さい。

投稿2019/06/19 17:00