Resultados da pesquisa a pedido "type-constraints"

5 a resposta

Por que uma restrição de tipo genérico resulta em um erro de conversão sem referência implícita?

Eu criei algumas interfaces e classes genéricas para trabalhar com compromissos da agenda:

1 a resposta

É possível introduzir variáveis de tipo adicionais em uma restrição de superclasse?

Ao lidar com famílias de tipos, geralmente é útil usar restrições de igualdade para evitar a necessidade de repetir o nome de alguma função de tipo em uma assinatura: class Foo f where type BulkyAssociatedType f :: * foo :: BulkyAssociatedType ...

1 a resposta

Dinâmica C # 4.0: uma solução potencial de alto desempenho para genéricos numéricos?

Depois de me deparar com esse problema ao tentar implementar um genéricoVector2<int/float/double> em c #, fiz várias investigações sobre esse problema, também descritas nesta pergunta: Genéricos menos genéricos? Uma possível solução para ...

3 a resposta

Quando devo ou não devo estar usando restrições de tipo genérico?

Eu tenho uma classe base:

4 a resposta

Por que as restrições de tipo não fazem parte da assinatura do método?

Então eu liRestrições de Eric Lippert não fazem parte da assinatura ' [http://blogs.msdn.com/b/ericlippert/archive/2009/12/10/constraints-are-not-part-of-the-signature.aspx] , e agora entendo que a especificação especifica que restrições de tipo ...

5 a resposta

Como definir o limite de tipo genérico para tipos primitivos?

Tenho o seguinte método com o tipo genérico: T GetValue<T>(); Gostaria de limitar T a tipos primitivos, como int, string, float, mas não o tipo de classe. Eu sei que posso definir genérico para o tipo de classe como este: C GetObject<C>() where ...

3 a resposta

Como colocar restrições nos dados associados?

Gostaria de afirmar que os dados associados são sempre uma instância de uma determinada classe.

3 a resposta

Restrição do tipo F # para o tipo de registro com propriedade específica

Estou tentando criar uma função genérica que requer do seu argumento de tipo que é um tipo de registro e que possui uma propriedade específica. Aqui está um exemplo que gera o erro relevante do compilador: let foo<'a> (a : 'a) = a' = { a with ...

2 a resposta

Você pode criar uma instância de uma classe não para um tipo, mas para uma classe inteira em Haskell?

Suponha que eu queira transformar todos os números em uma instância deMonoid. Em vez de ter que criar uma instância para cadaNum como isso: instance Monoid Int where mappend = (+) mempty = 0 instance Monoid Float where mappend = (+) mempty = 0.0 ...

2 a resposta

Por que o compilador escolhe esta função de modelo em vez de uma função não-modelo sobrecarregad

Usando o VC ++ 2010, considerando o seguinte: class Base { }; class Derived : public Base { }; template<class T> void foo(T& t); // A void foo(Base& base); // B Derived d; foo(d); // calls A foo(static_cast<Base&>(d)); // calls B Gostaria que ...