6
票
Accepted
内部クラスの template 関数が解決されない
質問2: エラーがでないようにするには、どうしたらいいでしょうか。
コメントより: InnerClass同士に制限したい
「OuterClass<??>::InterClass同士のみ相互代入を許容する」という目的であれば、下記コードのように"マーカー"(magic_type_for_innerclass)を用意することで実現可能です。...
- 9,824
5
票
Accepted
template 関数で同じ関数が複数定義される場合
template をコンパイルすると(特殊化しても・しなくても)、複数個の翻訳単位で同じ関数・クラス定義が翻訳され、
複数個のオブジェクトファイル中に同じ変数や関数が生成されます。
現代的 c++ に対応したコンパイラ+リンカなら template の翻訳結果は weak symbol/function となります。
weak とはリンク時最適化により、
- ...
- 2.1万
4
票
内部クラスの template 関数が解決されない
代替案は既に他の方が回答していますので脇に置きつつ。
ISO/IEC 14882:2014 を見直していたら、以下の記述を見付けました。
テンプレート引数の推論のコンテキストに現れないテンプレート引数は推論の対象とならない、ということで例が挙げられています。
この記述は、14882:2003, 14882:2014にも同様に存在します。
14.8.2.5 Deducing template ...
- 2,338
4
票
Accepted
特殊化されたテンプレートクラス固有の静的メンバの宣言方法
template<>
int Hoge<int>::Value = 0;
の template<> を取り除くとコンパイルできます。英語版にほぼ同じ質問がありました。
追記
template<> が不要な理由を追記しておきます。質問のコードの
template<>
struct Hoge<int>{
static ...
- 756
3
票
Accepted
複数の要素数の違う同じ型の配列を受け取る関数テンプレートを作りたいです。
正解はここでした。
template <size_t... Ns>
void func(const char (&... s)[Ns])
{
print(s...);
}
こっちのほうが見やすい
template <size_t N>
using CharArray = char[N];
template <size_t... Ns>
void ...
- 43
2
票
内部クラスの template 関数が解決されない
ネストしている型はテンプレートの解決時に推論できないことがあります。例えば、上記のコードに、以下のコードが続いていると考えてください。
struct baz {};
template<>
class OuterClass<baz> {
public:
typedef OuterClass<foo>::InnerClass InnerClass;
};
...
- 766
2
票
内部クラスの template 関数が解決されない
templateクラスの場合、template引数が違うクラスは、別クラス扱いになってしまうためです。つまり、OuterClass<foo>::InnerClassにOuterClass<bar>::InnerClassを代入しようとするのは、
class OuterFoo{
class Inner{
};
};
class OuterBar{
...
- 83
2
票
Accepted
D言語: モジュール名を省略した関数呼び出しがコンパイルできない理由
Dでの関数テンプレートは以下の様な糖衣構文です.
template ccv_get_dense_matrix_cell_by(T){
T* ccv_get_dense_matrix_cell_by(ccv_dense_matrix_t* x, ulong row, ulong col, ulong ch)
{
static assert(false);
...
- 36
1
票
c++ templateの特殊化について
戻り値にenable_ifを使った
template<typename T>
typename std::enable_if_t<std::is_signed_v<T>, T> get(std::string str)
{
return std::stoll(str);
}
template<typename T>
typename ...
- 5,003
1
票
Accepted
テンプレートパラメータをタグディスパッチの入力として用いてメタプログラミングを実現する方法?
gcc 6.1ではコンパイル可能なようです。
ideoneのC++14でもいけますね。
VS2015の挙動はバグっぽい感じです。
回避策として、以下のように型定義を分割すればいけるっぽいです。
template<typename tag, typename int_type>
struct hogehoge
{
private:
typedef decltype(...
- 1,297
1
票
1
票
Accepted
Only top scored, non community-wiki answers of a minimum length are eligible