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

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

新規登録して質問してみよう
ただいま回答率
85.50%
C++11

C++11は2011年に容認されたC++のISO標準です。以前のC++03に代わるもので、中枢の言語の変更・修正、標準ライブラリの拡張・改善を加えたものです。

C++

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

Q&A

解決済

2回答

1523閲覧

関数の返却値の型を書くところでの名前候補の追加

SaitoAtsushi

総合スコア5437

C++11

C++11は2011年に容認されたC++のISO標準です。以前のC++03に代わるもので、中枢の言語の変更・修正、標準ライブラリの拡張・改善を加えたものです。

C++

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

0グッド

1クリップ

投稿2019/05/07 09:01

前提

using をテンプレート関数の中に書くことで関数の候補を追加する方法が知られています。

cpp

1#include <type_traits> 2#include <iostream> 3 4namespace ns1 { 5 struct foo{}; 6 foo&& bar(foo&& x) { 7 std::cout << "ns1::bar" << std::endl; 8 return std::move(x); 9 } 10} 11 12namespace ns2 { 13 int bar(int x) { 14 std::cout << "ns2::bar" << std::endl; 15 return x; 16 } 17} 18 19template<class T> 20void baz(T&& obj) { 21 using ns2::bar; // これがあることで baz(123) が通るようになる 22 bar(std::forward<T>(obj)); 23} 24 25int main(void) { 26 baz(ns1::foo()); 27 baz(123); 28 return 0; 29}

しかし、このような using はあくまでも関数内が影響範囲なので関数の返却値の箇所には関係ありません。

なので、以下のような書き方は出来ません。

cpp

1template<class T> 2auto baz(T&& obj) -> decltype(bar(std::forward<T>(obj))) { 3 using ns2::bar; 4 return bar(std::forward<T>(obj)); 5}

というより、 ns2::bar が候補にならないので単に baz(123) と書いている箇所はエラーになってしまいます。

質問

C++11 で上記の例のようなテンプレート関数 bazグローバルスコープに書くとき、グローバルスコープで using をせずに返却値の型の記述の中の bar に対して ns2::bar を候補に加える方法はあるでしょうか?

方法が無いと考えるならば無いという回答でも構いません。

注意点

この質問はあくまでも返却値の記述の中に名前候補を追加する方法についてなので返却値の記述自体を避け (たとえば何らかの方法で推論させる等) たり、特殊化やオーバーロードによって個別に対処するような話題を広げる提案はしないでください。

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

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

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

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

guest

回答2

0

ベストアンサー

レギュレーション違反かもしれませんが、グローバル名前空間は汚染しない解法です:

C++

1// いったん detail 名前空間内で実装しておき... 2namespace detail { 3 4using ns2::bar; 5 6template<class T> 7auto baz(T&& obj) -> decltype(bar(std::forward<T>(obj))) { 8 return bar(std::forward<T>(obj)); 9} 10 11} // namespace detail 12 13// グローバル名前空間に baz 関数を導入 14using detail::baz; 15 16int main(void) { 17 baz(ns1::foo()); 18 baz(123); 19 return 0; 20}

投稿2019/05/08 03:22

yohhoy

総合スコア6189

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

0

こんにちは。

どんぴしゃではないですが、そこそこやりたいことに近いかも。

C++

1#include <type_traits> 2#include <iostream> 3 4namespace ns1 { 5 struct foo{}; 6 foo&& bar(foo&& x) { 7 std::cout << "ns1::bar" << std::endl; 8 return std::move(x); 9 } 10} 11 12namespace ns2 { 13 int bar(int x) { 14 std::cout << "ns2::bar" << std::endl; 15 return x; 16 } 17} 18 19template<typename T> 20struct Judge 21{ 22 typedef decltype(ns2::bar(std::declval<T>())) type; 23}; 24template<> 25struct Judge<ns1::foo> 26{ 27 typedef decltype(ns1::bar(std::declval<ns1::foo>())) type; 28}; 29 30template<class T> 31auto baz(T&& obj) ->typename Judge<T>::type { 32 using ns2::bar; 33 return bar(std::forward<T>(obj)); 34} 35 36int main(void) { 37 baz(ns1::foo()); 38 baz(123); 39 return 0; 40}

wandbox

投稿2019/05/07 14:07

Chironian

総合スコア23272

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

yumetodo

2019/05/08 04:01

質問文読んでいないのでは・・・?
Chironian

2019/05/08 05:17

あああ、「特殊化やオーバーロードによって個別に対処するような話題を広げる提案はしない」を見落としてました。orz
guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

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

ただいまの回答率
85.50%

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

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

質問する

関連した質問