質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
87.20%
型推論

型推論とは、コンパイラが型を自動で判断する機能を指します。メソッド内のローカル変数の宣言時に型宣言の代わりに指定することで、コードの記述量を減らすことが可能。変数や関数シグネチャに型を宣言せずとも、早期にエラーをチェックできるというメリットもあります。

C++

C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。

LLVM

LLVM とは、コンパイル時や実行時に様々な最適化をするコンパイラ基盤です。 任意のプログラミング言語に対応可能で、LLVM自体はC++で実装されています。

解決済

C++ クラスの中で定義された変数と同名の関数の役割がわかりません。`operator value_type() ` llvmのソースコードリーティング

Kchan_01
Kchan_01

総合スコア109

型推論

型推論とは、コンパイラが型を自動で判断する機能を指します。メソッド内のローカル変数の宣言時に型宣言の代わりに指定することで、コードの記述量を減らすことが可能。変数や関数シグネチャに型を宣言せずとも、早期にエラーをチェックできるというメリットもあります。

C++

C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。

LLVM

LLVM とは、コンパイル時や実行時に様々な最適化をするコンパイラ基盤です。 任意のプログラミング言語に対応可能で、LLVM自体はC++で実装されています。

2回答

0評価

0クリップ

389閲覧

投稿2022/01/07 06:59

C言語を学んでから、C++を学んでいるものです。

C++のvectorの再実装をするためにllvmのソースコードリーティングをしています。そこで理解できないコードがあったので質問します。

c++

template <class _Tp, _Tp __v> struct integral_constant { static const _Tp value = __v; typedef _Tp value_type; typedef integral_constant type; operator value_type() const throw() { return value; } // <= これがわからない。 };

libcxx/type_traits at master · llvm-mirror/libcxx

このクラスにおけるoperatorはどういった意味でしょうか。typedef _Tp value_type;でvalue_typeを型名として定義して、同名の関数定義?をすることで呼出元としてはどのように使用されるのでしょうか。

こちらをコメントアウトして実際に使ってみましたが、実行結果に差はなかったです。

c++

namespace ft { template <class _Tp, _Tp __v> struct integral_constant { public: static const _Tp value = __v; typedef _Tp value_type; typedef integral_constant type; // operator value_type() const { return value; } }; typedef integral_constant<bool, true> true_type; typedef integral_constant<bool, false> false_type; template <class T> struct is_integral : public ft::false_type {}; template <class T> struct is_integral<const T> : public is_integral<T> {}; template <class T> struct is_integral<volatile T> : public is_integral<T> {}; template <class T> struct is_integral<const volatile T> : public is_integral<T> {}; template<> struct is_integral<unsigned char> : public true_type {}; template<> struct is_integral<unsigned short> : public true_type{}; template<> struct is_integral<unsigned int> : public true_type{}; template<> struct is_integral<unsigned long> : public true_type{}; template<> struct is_integral<unsigned long long> : public true_type{}; template<> struct is_integral<signed char> : public true_type{}; template<> struct is_integral<char> : public true_type{}; template<> struct is_integral<short> : public true_type{}; template<> struct is_integral<int> : public true_type{}; template<> struct is_integral<long> : public true_type{}; template<> struct is_integral<long long> : public true_type{}; template<> struct is_integral<wchar_t> : public true_type{}; }

c++

#include "my_is_integral.hpp" #include <iostream> int main() { std::cout << ft::is_integral<int>::value << std::endl; std::cout << ft::is_integral<unsigned int>::value << std::endl; return 0; }

良い質問の評価を上げる

以下のような質問は評価を上げましょう

  • 質問内容が明確
  • 自分も答えを知りたい
  • 質問者以外のユーザにも役立つ

評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

気になる質問をクリップする

クリップした質問は、後からいつでもマイページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

  • プログラミングに関係のない質問
  • やってほしいことだけを記載した丸投げの質問
  • 問題・課題が含まれていない質問
  • 意図的に内容が抹消された質問
  • 過去に投稿した質問と同じ内容の質問
  • 広告と受け取られるような投稿

評価を下げると、トップページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

まだ回答がついていません

会員登録して回答してみよう

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
87.20%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問

同じタグがついた質問を見る

型推論

型推論とは、コンパイラが型を自動で判断する機能を指します。メソッド内のローカル変数の宣言時に型宣言の代わりに指定することで、コードの記述量を減らすことが可能。変数や関数シグネチャに型を宣言せずとも、早期にエラーをチェックできるというメリットもあります。

C++

C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。

LLVM

LLVM とは、コンパイル時や実行時に様々な最適化をするコンパイラ基盤です。 任意のプログラミング言語に対応可能で、LLVM自体はC++で実装されています。