Discussion :

[Seabirds]

Hola tod@s !

Mon problème est tout simple et a certainement été posée mille fois, mais je n'arrive pas à faire cracher la réponse par nos moteur de recherche préférés :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
template<typename T, typename U>
class A
{
public:
  A(T const& t, U const& u) : member(expression(t,u)) {}
 
private:
  auto expression(T const& t, U const& u) const { return 2*u +t;} 
  ??? member // comment dire à notre ami le compilateur qu'il a a priori tout pour deviner le type du membre ?
}

Je me doute qu'il faut utiliser quelque chose comme constexpr, result_of ou decltype (ou pas ) et j'ai bidouillé ce que j'ai pu mais je n'arrive pas à m'en sortir, pourriez-vous m'aiguiller ?

Merci d'avance !

[dalfab]

Un peu lourd, mais ceci devrait fonctionner

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

decltype( 2 * std::declval<U>() +  std::declval<T>() ) member;

[Seabirds]

Super merci j'essaie ça ! Quelle est la différence avec ce que j'avais essayé ci dessous ?

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

std::result_of<decltype(&A::expression)(A, T, U)>::type member;

[jo_link_noir]

Il faut mettre typename pour les dépendances de type sur des valeurs templates: typename std::result_of<decltype(&A::expression)(A, T, U)>::type member;.
C'est même l'une des seules erreurs où le compilateur dit quoi faire. "need ‘typename’ before blah blah" pour gcc, "error: missing 'typename' prior to dependent type name blah blah" pour clang.

Il y a aussi les suffixes _t en C++14 pour ne pas se taper typename et ::type: std::result_of_t<decltype(&A::expression)(A, T, U)> member;

[Seabirds]

Super, merci beaucoup à tous pour vos interventions !
Je marque le sujet comme étant résolu !