Resultados da pesquisa a pedido "type-constraints"

1 a resposta

Instância de Functor para um GADT com restrição de tipo

Hoje eu queria investigar se é possível construir um tipo de dados de tal forma que ele não armazene os dados do tipo de sua assinatura de tipo, mas outra re...

4 a resposta

Por que Haskell para de inferir as classes de tipo do tipo de dados nas assinaturas de função?

Em primeiro lugar, esta questão não é 100% específica para Haskell, sinta-se à vontade para comentar sobre o design geral de classes, interfaces e tipos. eu estou lendoLYAH - criando tipos e classes de ...

3 a resposta

Métodos genéricos em C #, digite parâmetros na restrição de construtor new ()

Existe uma maneira de criar um método genérico que use o métodonew() restrição de construtor para exigir classes com construtores de tipos específicos? Por exemplo: Eu tenho o seguinte código: public T MyGenericMethod<T>(MyClass c) where T : ...

3 a resposta

Por que isso viola a restrição de tipo?

Estou tentando personalizar o ASP.NET Identity 3 para que ele use chaves inteiras: public class ApplicationUserLogin : IdentityUserLogin<int> { } public class ApplicationUserRole : IdentityUserRole<int> { } public class ApplicationUserClaim : ...

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 ...

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 ...

2 a resposta

Padrão de característica genérica curiosamente recorrente: estouro avaliando o requisito

Estou tentando implementar uma estrutura genérica com vários campos, onde cada um dos tipos de campo deve saber sobre o tipo exato de toda a estrutura. É uma espécie de padrão de estratégia. pub struct Example<S: Strategy<Example<S, D>>, D> { ...

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

Por que preciso redefinir a restrição de tipo na subclasse genérica

Recentemente, tentei criar uma subclasse genérica implementando uma interface genérica. public interface IModule<T> where T : DataBean { ..... } public class Module<T> : IModule<T> where T : DataBean { .... }Parece que não posso confiar em ...