const属性を付してポインタへのポインタを取得するテンプレートクラスメンバ関数の作り方について

Question

前提・実現したいこと

プリミティブなデータへのポインタを管理するvectorを含むクラス(Boo)から，ポインタへのポインタを管理するクラス(Foo)を取得する際に，const属性をつけて取得する方法がわかりません。コード例は以下のとおりです。どなたかお知恵をいただければと思います。
用途としては，Booではデータ管理だけを行い，Fooの方で，ポインタへのポインタを使って操作をすることを考えています。Fooで使う時に，T自体の変更不可を保証した動作にすることが目的です。

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

Cannot initialize return object of type 'const int **' with an rvalue of type 'const std::__1::vector<int *, std::__1::allocator<int *> >::value_type *' (aka 'int *const *')

該当のソースコード

#include<vector>
#include<iostream>
template<typename T>
struct  Foo{
    T**  a;
    Foo(  T ** p){a=p;}
};
template<typename T>
struct  Boo{
    std::vector<T*>  v;
    const T **  data()const{return v.data();}
    Foo<const T> get()const {
        return{data()};
    }
};

int main(){
    Boo<int>b;
    int a = 10;
    b.v.emplace_back(&a);
    auto f = b.get();
    std::cout <<**f.a <<'\n';
}

補足情報（FW/ツールのバージョンなど）

clang
c++17

Answer 1

const T **  data()const{return const_cast<const T**>(v.data());}

とすることで解決しました。
get()constで扱うBooのメンバは，T*そのものがconstにならざるを得ないため，v.data()を返す型をそのままでは使えないということがわかりました。Foo<const T>で返すことになるわけですから，欲しいのはT型の変更不可属性であり，const Tのポインタのポインタ型，すなわちdata()が返す型は const T** にならなければいけないわけです。方法としてはconst_castを使うしかないという結論に至りました。これで期待する動作になったので，問題はないと思います。
お騒がせいたしました。

int c = 10;
const int* pc= &c;
const int** ppc=&pc;
Foo<const int> cf(ppc);

Comments

[yumetodo]

const castなんかせんでもFooクラスのT**を全部T* const*に置換すればいいと思いますが

[jbe00214]

そうでした。この方法もありました。気づきませんでした。アドバイスありがとうございます。

Answer 2

そもそも論として次のようなコードを考えます。

#include <type_traits>
using T1 = int*;
using T2 = const T1*;
static_assert(std::is_same_v<T2, int* const*>);

ここでT2はint const **ではなくint * const *であることに注意してください。

よってstd::vector::data()の戻り値の型もint * const *です。

---

で、ところでなんでstd::vectorにポインタを突っ込んでいるのかよくわからないのですが。

Comments

[jbe00214]

ありがとうございます。std::vector::data()の戻り値の型をint * const *とすると， Fooのコンストラクタも， Foo( T *const* p){a=p;}とすることになるのでしょうか。そうすると，Assigning to 'const int **' from incompatible type 'const int *const *'エラーが出てしまいます。うまくいきません。vectorにポインタを使っている理由は，このコードとは別に本来のTを管理するvector<T>があって，このvectorを維持しておきながら，配列順序を変更したBooがあるというイメージです。Fooを使って元のvector<T>の要素を変更することがあるわけです。ただFooの機能の一部で要素を変更しない場合もあるので，本質問のような仕組みを考えたわけです。

[jbe00214]

get()が返すFooコンストラクタはconst T型だけど，get()のconst属性はT*constというところに根本的な間違いがあるような気がするけど方法がわからない。